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 14407-14407
(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 14406-14406 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 27882-27882
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27881-27881
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27880-27880

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


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


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