TreeView Knowledge Base Browser - freeFunctionRoomAmenity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

freeFunctionRoomAmenity

Sigma KEE - freeFunctionRoomAmenity

freeFunctionRoomAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-817
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 814-814	free function room amenity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 813-813	free function room amenity is a subrelation of function room amenity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3495-3495
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3494-3494
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3493-3493
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 818-818

antecedent

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

Hotel.kif 820-841

If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other 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 0 united states dollar(s) for the cognitive agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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