conveyance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - conveyance

conveyance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25170-25172
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25174-25174	The number 1 argument of conveyance is an instance of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25175-25175	The number 2 argument of conveyance is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25169-25169	conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25173-25173	conveyance is a subrelation of instrument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	english_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1891-1891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17139-17139
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 86-86
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17138-17138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17137-17137

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3822-3842	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and equal the object and the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25184-25188	If a transportation is an instance of transport via a road vehicle and a transportation device is a conveyance during the transportation, then the transportation device is an instance of road vehicle

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25232-25239	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and a transportation device is an instance of vehicle and the transportation device is a patient of the process, then the transportation device is a conveyance during the transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3822-3842	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and equal the object and the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3653-3666	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the other entity located at time the entityIME for the physical and the other entity is a passenger in the entity or the other entity is a conveyance during the entity and equal the entityIME and the beginning of the time of existence of the entity or the end of the time of existence of the 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