includedMeal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1496-1497
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1500-1500	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 1501-1501	The number 2 argument of included meal is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1495-1495	included meal is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3691-3691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3690-3690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3689-3689
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1498-1498

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 1507-1527

If a cognitive agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive agent,
then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity purpose there exists a third entity such that the third entity is an instance of eating and the other cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the other cognitive agent is a guest at the cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1534-1539	If a meal plan is an instance of full board, then meals of type breakfast are includes in the meal plan and meals of type lunch are includes in the meal plan and meals of type dinner are includes in the meal plan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1546-1550	If a meal plan is an instance of half board, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1577-1579	If a meal plan is an instance of modified american meal plan, then meals of type breakfast are includes in the meal plan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1568-1570	If a meal plan is an instance of continental meal plan, then meals of type continental breakfast are includes in the meal plan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1557-1561	If a meal plan is an instance of european meal plan, then there doesn't exist a relational attribute such that meals of type the relational attribute are includes in the meal plan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1587-1593	If a meal plan is an instance of MealPlanModifiedAmerican, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan or meals of type lunch are includes in the meal plan

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

KB Term:			Term intersection

English Word: