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 15469-15469
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Kfd-205-N408KC-050428-26cr.jpg") pictureList.kif 1801-1801
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Spanish_Army_Chinook.jpg") pictureList.kif 2215-2215
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ MH-53J_Pave_Low_III.jpg") pictureList.kif 2214-2214
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Antitorque.jpg") pictureList.kif 2213-2213
(externalImage Helicopter "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ firefighting/ helicopter.png") pictureList.kif 497-497
(subclass Helicopter Aircraft) Mid-level-ontology.kif 15468-15468 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 27814-27814
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27813-27813
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27812-27812

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


(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))
Transportation.kif 1499-1501


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