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 19378-19378
(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 1799-1799
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Spanish_Army_Chinook.jpg") pictureList.kif 2213-2213
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ MH-53J_Pave_Low_III.jpg") pictureList.kif 2212-2212
(externalImage Helicopter "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Antitorque.jpg") pictureList.kif 2211-2211
(subclass Helicopter Aircraft) Mid-level-ontology.kif 19377-19377 Helicopter is a subclass of aircraft

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


(termFormat ChineseLanguage Helicopter "直升机") domainEnglishFormat.kif 27902-27902
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27901-27901
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27900-27900

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