freeRoomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - freeRoomAmenity

freeRoomAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 338-340
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 336-336	The number 1 argument of free room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 337-337	The number 2 argument of free room amenity is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 335-335	free room amenity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-334	free room amenity is a subrelation of room amenity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3498-3498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3497-3497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3496-3496
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 341-341

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0.0 united states dollar(s) for the human

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