paidPropertyAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - paidPropertyAmenity

paidPropertyAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 545-546
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 544-544	paid property amenity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 543-543	paid property amenity is a subrelation of property amenity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4071-4071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4070-4070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4069-4069
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 547-547

antecedent

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

Hotel.kif 549-568

If renters of a cognitive agent can pay to use a class and an agent is an instance of the class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent,
then the agent is price a real number an unit of measure(s) for the cognitive agent and the unit of measure is an instance of UnitOfCurrency and the real number 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