Skip to content
Permalink
Browse files

created clif versions of cooking but there appear to be some errors i…

…n how the axioms are written

some comments:

- clif versions created to ensure consistency across all of colore

- assumption is that these theories import psl_core

- Step is a function or a class? there appears to be mixed uses of it

- original FOL also missing existence variables for 'x' in some axioms / some variables missing in the quanitifiers like c, x, etc.

- typo: some relations like add(a) and Add(a) should be the same relation
  • Loading branch information...
carmenchui committed May 26, 2019
1 parent 27c5335 commit 92ce144627db9777af291b6e6cee4b9c888b0459
Showing with 562 additions and 0 deletions.
  1. +194 −0 ontologies/cooking/auditory.clif
  2. +145 −0 ontologies/cooking/textual.clif
  3. +223 −0 ontologies/cooking/visual.clif
@@ -0,0 +1,194 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Alison Chow, Michael Gruninger - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/cooking/auditory.clif

(cl-imports http://colore.oor.net/psl_core/psl_core.clif)

(forall (o)
(if (occurrence_of o Recipe1)
(exists (o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o13 o14 o15 o16 o17 o18 o19 o20 x)
(and (occurrence_of o1 (Step1 x))
(occurrence_of o2 (Step2 x))
(occurrence_of o3 (Step3 x))
(occurrence_of o4 (Step4 x))
(occurrence_of o5 (Step5 x))
(occurrence_of o5 (Step6 x))
(occurrence_of o3 (Step7 x))
(occurrence_of o4 (Step8 x))
(occurrence_of o5 (Step9 x))
(occurrence_of o5 (Step10 x))
(occurrence_of o1 (Step11 x))
(occurrence_of o2 (Step12 x))
(occurrence_of o3 (Step13 x))
(occurrence_of o4 (Step14 x))
(occurrence_of o5 (Step15 x))
(occurrence_of o5 (Step16 x))
(occurrence_of o3 (Step17 x))
(occurrence_of o4 (Step18 x))
(occurrence_of o5 (Step19 x))
(occurrence_of o5 (Step20 x))
(next_subacc o1 o2)
(next_subacc o2 o3)
(nextsubacc o3 o4)
(nextsubacc o4 o5)
(next_subacc o5 o6)
(nextsubacc o6 o7)
(nextsubacc o7 o8)
(nextsubacc o8 o9)
(nextsubacc o9 o10)
(nextsubacc o10 o11)
(nextsubacc o11 o12)
(next_subacc o12 o13)
(nextsubacc o13 o14)
(nextsubacc o14 o15)
(nextsubacc o15 o16)
(nextsubacc o16 o17)
(nextsubacc o17 o18)
(nextsubacc o18 o19)
(nextsubacc o19 o20)))))

(forall (o)
(if (occurrence_of o Step1)
(exists (o1 a)
(and (Unknown_Activity a)
(occurrence_of o1 a)))))

(forall (a)
(if (and (Unknown_Activity a)
(occurrence_of o1 a))
(exists (x1 x2 x3 x4 x5 x5 x6)
(and (buttermilk x1 2)
(mustard x2)
(tang x3)
(onionpowder x4)
(salt x5)
(blackpepper x6)))))

(forall (o)
(if (occurrence_of o Step2)
(exists (o1)
(occurrence_of o1 (Add Heat)))))

(forall (o)
(if (occurrence_of o Step3)
(exists (o1 x)
(occurrence_of o1 (Unknown_Activity x)))))

(forall (o)
(if (occurrence_of o Step4)
(exists (o1 x)
(occurrence_of o1 (RemoveThymeLeaves x)))))

(forall (o)
(if (occurrence_of o Step5)
(exists (o1 x)
(occurrence_of o1 (Mix x)))))

(forall (o)
(if (occurrence_of o Step6)
(exists (o1 x)
(and (occurrence_of o1 (Add x))
(Bag x)))))

(forall (o)
(if (occurrence_of o Step7)
(exists (o1 x)
(occurrence_of o1 (Mix x)))))

(forall (o)
(if (occurrence_of o Step8)
(exists (o1 o2 x)
(and (occurrence_of o1 (Refrigerate x))
(or (duration (beginof (Refrigerate x) 240))
(duration (beginof (Refrigerate x) 360)))))))

(forall (o)
(if (occurrence_of o Step9)
(exists (o1 o2 x)
(and (occurrence_of o1 (Place x))
(Tray x)
(ParchmentSheet x)
(occurrence_of o2 (Bake x))
(or (duration (beginof (Bake x) 30))
(duration (beginof (Bake x) 40)))))))

(forall (o)
(if (occurrence_of o Step10)
(exists (o1 x)
(occurrence_of o1 (Fry x)))))

(forall (o)
(if (occurrence_of o Step11)
(exists (o1 x)
(occurrence_of o1 (Oil x)))))

(forall (o)
(if (occurrence_of o Step12)
(exists (o1 x)
(occurrence_of o1 (Add x)))))

(forall (o)
(if (occurrence_of o Step13)
(exists (o1 o2 b)
(and (occurrence_of o1 (Unknown_Activity x))
(Season b)
(occurrence_of o2 b)
(next_subacc o1 o2)))))

(forall (b)
(if (and (Season b)(occurrence_of o2 b))
(exists (x1 x2 x3 x4 x5)
(and (garlicpowder x1)
(drymustard x2)
(paprika x3)
(salt x4)
(pepper x5)))))

(forall (o)
(if (occurrence_of o Step14)
(exists (o1 x)
(occurrence_of o1 (Fry x)))))

(forall (o)
(if (occurrence_of o Step15)
(exists (o1 x)
(and (occurrence_of o1 (Garnish x))
(Remove x)))))

(forall (o)
(if (occurrence_of o Step16)
(exists (o1 x)
(occurrence_of o1 (Place x)))))

(forall (o)
(if (occurrence_of o Step17)
(exists (o1 x)
(occurrence_of o1 (Place x)))))

(forall (o)
(if (occurrence_of o Step18)
(exists (o1 x)
(occurrence_of o1 (TurnOver x)))))

(forall (o)
(if (occurrence_of o Step19)
(exists (o1 x)
(occurrence_of o1 (Unknown_Activity x)))))

(forall (o)
(if (occurrence_of o Step20)
(exists (o1 o2 x)
(and (occurrence_of o1 (Unknown_Activity x))
(occurrence_of o2 (Snap x))
(next_subacc o1 o2)))))


)
@@ -0,0 +1,145 @@
/*******************************************************************************
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at http://creativecommons.org/licenses/by-sa/4.0/legalcode.
*
* Contributors:
* Alison Chow - initial implementation
*******************************************************************************/

(cl-text http://colore.oor.net/cooking/textual.clif

(cl-imports http://colore.oor.net/psl_core/psl_core.clif)

(forall (o)
(if (occurrence_of o Recipe1)
(exists (o1 o2 o3 o4 o5 x)
(and (occurrence_of o1 (Step1 x))
(occurrence_of o2 (Step2 x))
(occurrence_of o3 (Step3 x))
(occurrence_of o4 (Step4 x))
(occurrence_of o5 (Step5 x))
(next_subacc o1 o2)
(next_subacc o2 o3)
(next_subacc o3 o4)
(next_subacc o4 o5)))))

(forall (o)
(if (occurrence_of o Step1)
(exists (o1 o2 o3 o4 a)
(and (combine a)
(occurrence_of o1 a)
(occurrence_of o2 (PressAir x))
(Bag x)
(occurrence_of o3 (Seal x))
(occurrence_of o4 (Refrigerate x))
(greaterEq_duration (duration_of o4) (multduration 12 hour))
(next_subacc o1 o2)
(next_subacc o2 o3)
(next_subacc o3 o4)))))

(forall (a o1)
(if (and (combine a)(occurrence_of o1 a))
(exists (x1 x2 x3 x4 x5 x6 x7 x8)
(and (buttermilk x1)
(mustard x2)
(hotsauce x3)
(onionpowder x4)
(salt x5)
(blackpepper x6)
(thyme x7)
(chicken x8)
(participates x1 o1)
(participates x2 o1)
(participates x3 o1)
(participates x4 o1)
(participates x5 o1)
(participates x6 o1)
(participates x7 o1)
(participates x8 o1)
(DryMixture y)))))

(forall (o)
(if (occurrence_of o Step2)
(exists (o1 o2 o3 o4 o5 o6 x)
(and (occurrence_of o1 (Preheat x))
(Oven x)
(occurrence_of o2 (Remove x))
(occurrence_of o3 (Arrange x))
(occurrence_of o4 (Discard x))
(Marinade x)
(occurrence_of o5 (Roast x))
(or (duration (beginof (Roast x) 30))
(duration (beginof (Roast x) 40)))
(or (occurrence_of o6 (Cool x))
(and (Wrap x) (Refrigerate x)))
(next_subacc o1 o2)
(or (occurrence_of o6 (Cool x))
(and (Wrap x) (Refrigerate x)))
(next_subacc o2 o3)
(next_subacc o3 o4)
(next_subacc o4 o5)
(next_subacc o5 o6)))))

(forall (o)
(if (occurrence_of o Step3)
(exists (o1)
(and (occurence_of o1 (Heat Oil))
(LargeDeepSkillet Oil)))))

(forall (o)
(if (occurrence_of o Step4)
(exists (o1 o2 o3 o4 o5 a x)
(and (Mix a)
(occurrence_of o1 a)
(occurrence_of o2 (Pour x))
(Buttermilk x)
(ShallowDish x)
(occurrence_of o3 (Season x))
(HotSauce x)
(Salt x)
(Pepper x)
(occurrence_of o4 (Dip Chicken))
(Buttermilk x)
(occurrence_of o5 (Add Chicken))
(Flour x)
(next_subacc o1 o2)
(next_subacc o2 o3)
(next_subacc o3 o4)
(next_subacc o4 o5)))))

(forall (o1 a)
(if (and (mix a)(occurrence_of o1 a))
(exists (x1 x2 x3 x4 x5 x6)
(and (flour x1)
(paprika x2)
(garlicpowder x3)
(salt x4)
(mustard x5)
(blackpepper x6)))))

(forall (o)
(if (occurrence_of o Step5)
(exists (o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 x)
(and (occurrence_of o1 (Fry x))
(or (duration (beginof (Fry x) 0.3))
(duration (beginof (Fry x) 0.5))
(duration (beginof (Fry(x) (Cooked x)))))
(occurrence_of o2 (Drain x))
(occurrence_of o3 (Garnish x))
(occurrence_of o4 (AddInOil x))
(occurrence_of o5 (Fry x))
(or (duration (beginof (Fry x) 2))
(duration (beginof (Fry x) 3))
(duration (beginof (Fry x) (Crispy x))))
(occurrence_of o6 (Sprinkle x))
(occurrence_of o7 (Transfer x))
(occurrence_of o8 (KeepWarm x))
(Fry x)
(occurrence_of o9 (Pile x))
(occurrence_of o10 (TopWithRosemary x))
(occurrence_of o11 (DrizzleWithHoney x))
(Present x)))))

)

0 comments on commit 92ce144

Please sign in to comment.
You can’t perform that action at this time.