TransportationDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3622-3624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15966-15968
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15965-15965	子類 TransportationDevice and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3712-3712	不相交的家具 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11595	相關的內部概念 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15422-15422	子類電梯 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Military.kif 128-128	子類軍事平台 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15461-15461	子類槳 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15448-15448	子類泵 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1035-1035	子類 SnowSki and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15974-15974	子類車輛 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1225-1225	子類 WaterSki and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26124-26124	子類 Wheelchair and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1279-1279	子類 WindSurfingBoard and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1058-1058
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1327-1327
No TPTP formula. May not be expressible in strict first order.	french_format.kif 736-736
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 267-267
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2420-2420
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 306-306
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 271-271

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1036-1036	域貨物類型, 1 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23534-23534	域輸送, 2 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3257-3257	域客運量最大數量, 1 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1566-1566	域子類運輸, 1 and TransportationDevice

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	例 Process and Transportation 子過程 Process and Process 例 Process and Driving 儀器 Process and Object 例 Object and TransportationDevice 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1591-1595	例車輛 and TransportationDevice 例 Process and 車輛的 trip 儀器 Process and 車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	子類 TransportationDevice and TransportationDevice 子類 TransportationDevice 的 transportation and Transportation 例 Process and TransportationDevice 的 transportation Object 例 Object and TransportationDevice 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	SelfConnectedObject 是對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and TransportationDevice 例 Object and SelfConnectedObject Transportation capable 在地點儀器對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15970-15972	例 Object and TransportationDevice 能力 Transportation, 儀器 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7023-7040	例 Collection and Organization attribute Collection and 汽車及零部件經銷商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and TransportationDevice Object 部分 Object and Object 例 Object and TransportationDevice 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 5683-5699	例 Collection and Organization attribute Collection and 運輸設備製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and TransportationDevice 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 49-59	例 Physical and DisabledParking 例 AutonomousAgent and Human attribute AutonomousAgent and Attribute 例 Attribute and Disability 有代理人的目的 Physical, Physical 對於 entity 在事件目的地 plays 角色 entity 對於 entity 在事件患者 plays 角色例 entity and TransportationDevice and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 36-42	例 Physical and ParkingRegion 有目的 Physical and Physical 對於 entity 在事件目的地 plays 角色 entity 對於 entity 在事件患者 plays 角色例 entity and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11600-11605	例 Process and Transportation Object 例 Object and TransportationDevice 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21839-21847	例 Process and 汽車爆炸 Object Object 例 Object and 炸彈例 Object and TransportationDevice 儀器 Process and Object 儀器 Process and Object 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21904-21917	例 Process and 劫持 Entity AutonomousAgent agent Process and AutonomousAgent 例 Entity and TransportationDevice 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and Entity 持有期間何時 Process and 擁有 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22140-22145	例 Process and 車輛攻擊 Object 例 Object and TransportationDevice 儀器 Process and Object

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

KB Term:			Term intersection

English Word: