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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Helicopter
Helicopter(helicopter)
more pictures...
cargo_helicopter, chopper, eggbeater, helicopter, shuttle_helicopter, single-rotor_helicopter, skyhook, whirlybird

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


(documentation Helicopter EnglishLanguage "Any Aircraft with rapidly rotating wings.") Mid-level-ontology.kif 18085-18085
(externalImage Helicopter "http://articulatesoftware.com/SUMOpictures/working/ firefighting/ helicopter.png") pictureList.kif 497-497
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Kfd-205-N408KC-050428-26cr.jpg") pictureList.kif 1800-1800
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Spanish_Army_Chinook.jpg") pictureList.kif 2214-2214
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ MH-53J_Pave_Low_III.jpg") pictureList.kif 2213-2213
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Antitorque.jpg") pictureList.kif 2212-2212
(subclass Helicopter Aircraft) Mid-level-ontology.kif 18084-18084 Helicopter is a subclass of aircraft

appearance as argument number 2
-------------------------


(subclass AH1 Helicopter) MilitaryDevices.kif 1889-1889 A h1 is a subclass of helicopter
(subclass CH46D Helicopter) MilitaryDevices.kif 1828-1828 C h46 d is a subclass of helicopter
(subclass CH53E Helicopter) MilitaryDevices.kif 1767-1767 C h53 e is a subclass of helicopter
(termFormat ChineseLanguage Helicopter "直升机") domainEnglishFormat.kif 27925-27925 C h53 e is a subclass of helicopter
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27924-27924 C h53 e is a subclass of helicopter
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27923-27923 C h53 e is a subclass of helicopter

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


(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))
Transportation.kif 1643-1645


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