paidRoomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - paidRoomAmenity

paidRoomAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 384-386
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	The number 1 argument of paid room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 383-383	The number 2 argument of paid room amenity is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 381-381	paid room amenity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 380-380	paid 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 4074-4074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4073-4073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4072-4072
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 387-387

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical 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 process is located at the temporary residence or 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 there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical 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 there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0

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