Boarding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Boarding

Boarding(boarding)

board, change, get_on, transfer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17377-17378
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1668-1668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2118-2118
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17418-17418	Boarding is internally related to deboarding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17376-17376	Boarding is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11429-11429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11428-11428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11427-11427

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17386-17397	If a process is an instance of boarding and an agent is an agent of the process and an entity is a patient of the process, then not the agent is onboard the entity holds during the beginning of the time of existence of the process and the agent is onboard the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17380-17384	If a process is an instance of boarding and an entity is a patient of the process, then the entity is an instance of vehicle

consequent

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

Transportation.kif 1989-2000

If a physical is an instance of bus stop,
then the physical has the purpose there exist an entity, the entityO and a third entity such that the entity is an instance of bus and the entityO is an instance of boarding and the third entity is an instance of deboarding and the entityO is located at the physical and the third entity is located at the physical and the entity is a patient of the entityO and the entity is a patient of the third entity

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