AH1 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AH1

AH1(A h1)

appearance as argument number 1

(documentation AH1 EnglishLanguage "The Bell AH-1 Cobra, called the Huey Cobra, Cobra, Sea Cobra, or Snake (depending on the model), is an attack helicopter, designed by Bell Helicopter Textron. It shares a common engine, transmission and rotor system with the UH-1. It is now fully replaced by the AH-64 Apache in US Army service, but upgraded versions continue to fly with US Marine Corps, US Navy and several other users. (from Wikipedia)")	MilitaryDevices.kif 1891-1896
(subclass AH1 Helicopter)	MilitaryDevices.kif 1889-1889	A h1 is a subclass of helicopter
(subclass AH1 MilitaryVehicle)	MilitaryDevices.kif 1890-1890	A h1 is a subclass of military vehicle

appearance as argument number 2

(termFormat ChineseLanguage AH1 "A h1")	domainEnglishFormat.kif 6037-6037
(termFormat ChineseTraditionalLanguage AH1 "A h1")	domainEnglishFormat.kif 6036-6036
(termFormat EnglishLanguage AH1 "A h1")	domainEnglishFormat.kif 6035-6035
(termFormat EnglishLanguage AH1 "AH-1 Cobra")	MilitaryDevices.kif 2091-2091

antecedent

(=> (instance ?AH1 AH1) (and (length ?AH1 (MeasureFn 17.68 Meter)) (width ?AH1 (MeasureFn 14.63 Meter)) (height ?AH1 (MeasureFn 4.44 Meter)) (weight ?AH1 (MeasureFn 4634 Kilogram)) (effectiveRange ?AH1 (MeasureFn 587 Kilometer))))	MilitaryDevices.kif 1900-1912	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634 kilogram(s) is a weight of the self connected object and 587 kilometer(s) is an effective range of the self connected object
(=> (instance ?AH1 AH1) (and (weaponCarryingCapability ?AH1 M197GatlingGun 1) (weaponCarryingCapability ?AH1 AntiTankMissile 4) (weaponCarryingCapability ?AH1 AGM114 8) (weaponCarryingCapability ?AH1 AIM9 1)))	MilitaryDevices.kif 1916-1922	If a military vehicle is an instance of A h1, then the military vehicle %is weapon carrying capability m197 gatling gun for 1 and the military vehicle %is weapon carrying capability anti tank missile for 4 and the military vehicle %is weapon carrying capability AG m114 for 8 and the military vehicle %is weapon carrying capability AI m9 for 1
(=> (instance ?CH AH1) (exists (?MG) (and (instance ?MG M197GatlingGun) (part ?MG ?CH))))	MilitaryDevices.kif 1926-1931	If an object is an instance of A h1, then there exists another object such that the other object is an instance of m197 gatling gun and the other object is a part of the object
(=> (instance ?CH AH1) (hasPurpose ?CH (exists (?ATTACK) (and (instance ?ATTACK Attack) (instrument ?ATTACK ?CH)))))	MilitaryDevices.kif 1935-1941	If a physical is an instance of A h1, then the physical purpose there exists an entity such that the entity is an instance of attack and the physical is an instrument for the entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners