Skip to content
Permalink
Browse files

Create textual_latex.tex

  • Loading branch information...
alychow committed May 2, 2019
1 parent a237e36 commit af07c0d4b58c9fd25999227a7d5497ed3aa030fc
Showing with 28 additions and 0 deletions.
  1. +28 −0 ontologies/cooking/textual_latex.tex
@@ -0,0 +1,28 @@
\subsection{Textual Modality}
\begin{center}

(\forall o) \ occurrence\textunderscore of(o,Recipe1) \supset (\exists o1,o2,o3,o4,o5,x) occurrence\textunderscore of(o1,Step1(x)) \land occurrence\textunderscore of(o2,Step2(x)) \land occurrence\textunderscore of(o3,Step3(x)) \land occurrence\textunderscore of(o4,Step4(x)) \land occurrence\textunderscore of(o5,Step5(x)) \land
next\textunderscore subacc(o1,o2) \land next\textunderscore subacc(o2,o3) \land next\textunderscore subacc(o3,o4) \land next\textunderscore subacc(o4,o5) \\

(\forall o) \ occurrence\textunderscore of(o, Step1) \supset (\exists\, o1,o2,o3,o4,a)\,combine(a)\,\land \,occurrence\textunderscore of(o1,a)\\ \land occurrence\textunderscore of(o2,PressAir(x) \land Bag(x)) \land occurrence\textunderscore of(o3,Seal(x)) \\\land \ occurrence\textunderscore of(o4,Refrigerate(x)) \land \ greaterEq\textunderscore duration(duration\textunderscore of(o4),\\ multduration(12,hour)) \land next\textunderscore subacc(o1,o2) \land next\textunderscore subacc(o2,o3) \land next\textunderscore subacc(o3,o4)
\\

(\forall a)\,combine(a) \land occurrence\textunderscore of(o1,a) \supset (\exists\,x1..x8)\ \ buttermilk(x1) \ \land \ mustard(x2)\ \land \ hotsauce(x3) \ \land \ onionpowder(x4) \ \land \ salt(x5) \ \land \ blackpepper(x6) \ \land \ thyme(x7) \ \land \ chicken(x8) \land participates(x1,o1) \land participates(x2,o1) \land participates(x3,o1) \land participates(x4,o1) \land participates(x5,o1) \land participates(x6,o1) \land participates(x7,o1) \land participates(x8,o1) \land DryMixture(y)\\

(\forall o) \ occurrence\textunderscore of(o,Step2) \supset (\exists\, o1,o2,o3,o4,o5,o6) \land \,occurrence\textunderscore of(o1,Preheat(x) \ \land \ Oven(x)) \land\ occurrence\textunderscore of(o2,Remove(x)) \land\ occurrence\textunderscore of(o3,Arrange(x)) \land occurrence\textunderscore of(o4,Discard(x) \land Marinade(x) \land occurrence\textunderscore of(o5,Roast(x)) \land (duration(beginof(Roast(x)),30) \lor duration(beginof(Roast(x)),40)) \land \\
occurrence\textunderscore of(o6,Cool(x) \lor (Wrap(x) \land Refrigerate(x))
\land next\textunderscore subacc(o1,o2) \land occurrence\textunderscore of(o6,Cool(x) \lor (Wrap(x) \land Refrigerate(x)) \land next\textunderscore subacc(o2,o3) \land next\textunderscore subacc(o3,o4) \land next\textunderscore subacc(o4,o5)
\land next\textunderscore subacc(o5,o6) \\

(\forall o) \ occurrence\textunderscore of(o,Step3) \supset (\exists\, o1) \land occurrence\textunderscore of(o1,Heat(Oil) \land LargeDeepSkillet(Oil)) \\

(\forall o) \ occurrence\textunderscore of(o,Step4) \supset (\exists\, o1,o2,o3,o4,o5, a) \ Mix(a) \ \land occurrence\textunderscore of(o1,a) \land occurrence\textunderscore of(o2,Pour(x) \land Buttermilk(x) \land ShallowDish(x)) \land occurrence\textunderscore of(o3,Season(x) \land HotSauce(x) \land Salt(x) \land Pepper(x) \land occurrence\textunderscore of(o4,Dip(Chicken) \land Buttermilk(x)) \land occurrence\textunderscore of(o5,Add(Chicken) \land Flour(x)) \land next\textunderscore subacc(o1,o2) \land next\textunderscore subacc(o2,o3) \land next\textunderscore subacc(o3,o4) \land next\textunderscore subacc(o4,o5) \\

(\forall a)\,mix(a) \ \land \ occurrence\textunderscore of(o1,a) \supset (\exists\,x1,x2,x3,x4,x5,x6)\ \ flour(x1) \ \land \ paprika(x2) \land \ garlicpowder(x3) \ \land \ salt(x4) \ \land \ mustard(x5) \ \land \ blackpepper(x6) \\

(\forall o) \ occurrence\textunderscore of(o,Step5) \supset (\exists\, o1,o2,o3,o4,o5,o6,o7,o8,o9,o10,o11) \land occurrence\textunderscore of(o1,Fry(x) \land (duration(beginof(Fry(x)),0.3) \lor (duration(beginof(Fry(x)),0.5) \\ \lor (duration(beginof(Fry(x)),Cooked(x))) \land occurrence\textunderscore of(o2,Drain(x)) \land
occurrence\textunderscore of(o3,Garnish(x)) \land
occurrence\textunderscore of(o4,AddInOil(x)) \\ \land occurrence\textunderscore of(o5,Fry(x) \land (duration(beginof(Fry(x)),2) \lor (duration(beginof(Fry(x)),3) \lor (duration(beginof(Fry(x)),Crispy(x))) \land
occurrence\textunderscore of(o6,Sprinkle(x)) \land occurrence\textunderscore of(o7,Transfer(x)) \land occurrence\textunderscore of(o8,KeepWarm(x) \land Fry(x)) \land occurrence\textunderscore of(o9,Pile(x)) \land occurrence\textunderscore of(o10,TopWithRosemary(x)) \\ \land occurrence\textunderscore of(o11,DrizzleWithHoney(x) \land Present(x))

\end{center}

0 comments on commit af07c0d

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