TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 144-145
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 143-143	Valet parking is a subclass of service

appearance as argument number 2

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

TransportDetail.kif 146-146

antecedent

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 174-182	If a process is an instance of valet parking and an entity is a patient of the process and another process is an instance of arriving and the entity is a patient of the other process, then the end of the time of existence of the other process meets the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 148-151	If an organization is capable of doing valet parking as a agent, then there exists a human such that the human holds the position of valet in the organization

consequent

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

TransportDetail.kif 153-172

If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object,
then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area 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

KB Term:			Term intersection

English Word: