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

(documentation conveyance EnglishLanguage "(conveyance ?EVENT ?OBJ) means that ?OBJ is the Vehicle or other transportation device used in ?EVENT.")	Mid-level-ontology.kif 24643-24645
(domain conveyance 1 Transportation)	Mid-level-ontology.kif 24647-24647	The number 1 argument of conveyance is an instance of transportation
(domain conveyance 2 TransportationDevice)	Mid-level-ontology.kif 24648-24648	The number 2 argument of conveyance is an instance of transportation device
(instance conveyance CaseRole)	Mid-level-ontology.kif 24642-24642	conveyance is an instance of case role
(subrelation conveyance instrument)	Mid-level-ontology.kif 24646-24646	conveyance is a subrelation of instrument

appearance as argument number 2

(format ChineseLanguage conveyance "%2 %n 是 %1 的 conveyance")	chinese_format.kif 85-85
(format EnglishLanguage conveyance "%2 is %n a conveyance during %1")	english_format.kif 85-85
(format JapaneseLanguage conveyance "%2 は %1 の間の conveyance では %n")	japanese_format.kif 1891-1891
(termFormat ChineseLanguage conveyance "输送")	domainEnglishFormat.kif 17145-17145
(termFormat ChineseLanguage conveyance "运输工具")	chinese_format.kif 86-86
(termFormat ChineseTraditionalLanguage conveyance "輸送")	domainEnglishFormat.kif 17144-17144
(termFormat EnglishLanguage conveyance "conveyance")	domainEnglishFormat.kif 17143-17143

antecedent

(=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility))))	Transportation.kif 3816-3836	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 the object is not equal to 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
(=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle))	Mid-level-ontology.kif 24657-24661	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

(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	Mid-level-ontology.kif 24705-24712	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
(=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility))))	Transportation.kif 3816-3836	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 the object is not equal to 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
(=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (equal ?TIME (or (BeginFn (WhenFn ?T)) (EndFn (WhenFn ?T))))))))	Transportation.kif 3649-3662	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity, another entity and a third 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 the entityIME is equal to 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