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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MealPlan
MealPlan

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 MealPlan e' uma sub-classe de Proposicao

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1580-1580 FullBoard e' uma sub-classe de MealPlan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1592-1592 HalfBoard e' uma sub-classe de MealPlan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1623-1623 MealPlanBreakfast e' uma sub-classe de MealPlan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1603-1603 MealPlanEuropean e' uma sub-classe de MealPlan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1632-1632 MealPlanModifiedAmerican e' uma sub-classe de MealPlan
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 O argumento numero 1 de includedMeal e' uma instancia de MealPlan
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2798-2798 O argumento numero 2 de mealPlanInclusion e' uma sub-classe de MealPlan

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


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


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