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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Helicopter

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 17827-17827
(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 17826-17826 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 27891-27891
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27890-27890
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27889-27889

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


(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))
Transportation.kif 1514-1516


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