TreeView Knowledge Base Browser - TransportationDevice

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 15988-15990
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15987-15987	子類 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 11617-11617	相關的內部概念 Transportation and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15421-15421	子類電梯 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 15460-15460	子類槳 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15447-15447	子類泵 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1036-1036	子類 SnowSki and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15996-15996	子類車輛 and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1226-1226	子類 WaterSki and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26112-26112	子類 Wheelchair and TransportationDevice
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1280-1280	子類 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 23533-23533	域輸送, 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 23555-23562	例 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 15992-15994	例 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 11622-11627	例 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 21838-21846	例 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 21903-21916	例 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 22139-22144	例 Process and 車輛攻擊 Object 例 Object and TransportationDevice 儀器 Process and Object

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: