Aircraft - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17818-17820
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 286-286
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 298-298
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 261-261
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 285-285
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 275-275
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 292-292
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 278-278
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 297-297
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 280-280
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 289-289
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 294-294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1619-1619
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 295-295
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 150-150
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 276-276
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 267-267
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 302-302
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 272-272
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 291-291
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 279-279
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 266-266
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 271-271
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 270-270

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1698-1698	飛機是飛機製造業的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2582-2582	子類飛機 and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2593-2593	子類滑翔機 and 飛機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17826-17826	子類直升機 and 飛機
No TPTP formula. May not be expressible in strict first order.	Military.kif 155-155	子類軍用飛機 and 飛機
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2592-2592	子類火箭 and 飛機
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6120-6120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6119-6119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6118-6118

appearance as argument number 3

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

MilitaryDevices.kif 1456-1456

域絕對高度, 1 and 飛機

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	高度飛機, SelfConnectedObject and 高度測量表面 SelfConnectedObject and 行星地球例飛機 and 飛機高度測量是 absolute 飛機的高度
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17822-17824	例 Object and 飛機能力航空運輸, 儀器 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	例 Collection and Organization attribute Collection and 航空運輸業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity CognitiveAgentLANE and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and CognitiveAgentLANE 例 CognitiveAgentLANE and 飛機, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	attribute AutonomousAgent and 航空工程師 Process 有技巧 Process and AutonomousAgent Process 例 Process and Process Process Entity and ProcessT 例 Process and Making 例 Entity and 飛機例 Entity and ProcessT ProcessT typically 是飛機的 part 結果 Process and Entity 子過程 Process and Process Process ProcessLAN, Entity and ProcessT 例 Process and 設計例 Entity and 飛機例 Entity and ProcessT ProcessT typically 是飛機的 part 結果 Process and ProcessLAN 代表 ProcessLAN and Entity 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3323-3330	例 AutonomousAgent and Airline Collection Physical 例 Collection and Fleet 擁有 AutonomousAgent and Collection 例 Physical and 飛機會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 736-741	例 Process and 空中偵察 Object 例 Object and 飛機儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17802-17807	例 Process and FlyingAircraft Entity 例 Entity and 飛機患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3359-3366	例 Process and AirTransportationService Object Process 例 Process and 航空運輸子過程 Process and Process 儀器 Process and Object 例 Object and 飛機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17689-17696	例 Process and 航空運輸 Object Object 例 Object and 飛機例 Object and 大氣地區儀器 Process and Object Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1516-1521	例 Object and 翼裝置 Object 例 Object and 飛機部分 Object 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: