Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Airplane

Sigma KEE - Airplane
Airplane(airplane)
more pictures...
aeroplane, airliner, airplane, amphibian, amphibious_aircraft, biplane, delta_wing, fan-jet, fanjet, hangar_queen, hydroplane, monoplane, multiengine_airplane, multiengine_plane, narrow-body, narrow-body_aircraft, narrowbody_aircraft, plane, reconnaissance_plane, seaplane, ski-plane, tanker_plane, turbofan, turbojet, twin-aisle_airplane, wide-body, wide-body_aircraft, widebody_aircraft

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2585-2587
No TPTP formula. May not be expressible in strict first order. pictureList.kif 213-213
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 315-315
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1625-1625
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 312-312
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 306-306
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 313-313
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 320-320
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 311-311
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 317-317
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 308-308
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 309-309
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 303-303
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 316-316
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 323-323
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 314-314
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 319-319
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 304-304
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 324-324
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 310-310
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 307-307
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 305-305
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 321-321
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 322-322
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 318-318

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. Transportation.kif 2590-2590 Jet airplane is a subclass of airplane
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2591-2591 Propeller jet is a subclass of airplane
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2589-2589 Propeller plane is a subclass of airplane
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1708-1708 VSTOL is a subclass of airplane
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6168-6168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6167-6167
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6166-6166

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30745-30758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30736-30743
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2624-2626


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