TreeView Knowledge Base Browser - facility

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - facility

facility

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 328-329
No TPTP formula. May not be expressible in strict first order.	Dining.kif 331-331	The number 1 argument of facility is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 330-330	The number 2 argument of facility is an instance of object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 327-327	facility is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3394-3394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3393-3393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3392-3392
No TPTP formula. May not be expressible in strict first order.	Dining.kif 332-332

antecedent

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

Dining.kif 336-350

If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity,
then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility

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