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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MealPlan

Sigma KEE - MealPlan
MealPlan(meal plan)hotel_plan, meal_plan

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1542-1543
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1541-1541 Meal plan is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1580-1580 Full board is a subclass of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1592-1592 Half board is a subclass of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1623-1623 Modified american meal plan is a subclass of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1603-1603 European meal plan is a subclass of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1632-1632 Meal plan modified american is a subclass of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1544-1544

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1551-1551 The number 1 argument of included meal is an instance of meal plan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2798-2798 The number 2 argument of meal plan inclusion is a subclass of meal plan

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1558-1578


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

Show without tree


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