Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(subclass CH53E Helicopter) MilitaryDevices.kif 1924-1924 C h53 e is a subclass of helicopter
(subclass CH46D Helicopter) MilitaryDevices.kif 1985-1985 C h46 d is a subclass of helicopter
(subclass AH1 Helicopter) MilitaryDevices.kif 2046-2046 A h1 is a subclass of helicopter
(termFormat EnglishLanguage Helicopter "helicopter") domainEnglishFormat.kif 27893-27893 A h1 is a subclass of helicopter
(termFormat ChineseTraditionalLanguage Helicopter "直升機") domainEnglishFormat.kif 27894-27894 A h1 is a subclass of helicopter
(termFormat ChineseLanguage Helicopter "直升机") domainEnglishFormat.kif 27895-27895 A h1 is a subclass of helicopter

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


(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))		 Transportation.kif 1659-1661 If X is an instance of heliport, then helicopter is a trafficable for traffic type of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners