Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dinner
Dinner(dinner)dinner

appearance as argument number 1
-------------------------


s__documentation(s__Dinner,s__EnglishLanguage,'"Dinner refers to something that is typically eaten during the evening"')

Food.kif 140-141
s__instance(s__RelationalAttribute,s__Class)

s__instance(s__Dinner,s__RelationalAttribute)

Food.kif 139-139 Dinner is an instance of relational attribute

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__Dinner,'"dinner"')

Food.kif 142-142

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 144-153

consequent
-------------------------


( ! [V__X] :
   ((s__instance(V__X,s__FullBoard) =>
       ((s__includedMeal(V__X,s__Breakfast) &
           s__includedMeal(V__X,s__Lunch) &
           s__includedMeal(V__X,s__Dinner))))
     )
   )

Hotel.kif 1560-1565
( ! [V__X] :
   ((s__instance(V__X,s__HalfBoard) =>
       ((s__includedMeal(V__X,s__Breakfast) &
           s__includedMeal(V__X,s__Dinner))))
     )
   )

Hotel.kif 1572-1576
( ! [V__X] :
   ((s__instance(V__X,s__MealPlanModifiedAmerican) =>
       ((s__includedMeal(V__X,s__Breakfast) &
           (s__includedMeal(V__X,s__Dinner) |
             s__includedMeal(V__X,s__Lunch)))))
     )
   )

Hotel.kif 1613-1619


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners