MilitaryAircraft - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MilitaryAircraft

MilitaryAircraft(military aircraft)

military_plane, warplane

appearance as argument number 1

(documentation MilitaryAircraft EnglishLanguage "Any Aircraft which is made for a MilitaryOrganization. This includes fighters, Bombers, attack helicopters, etc.")	Military.kif 157-159
(externalImage MilitaryAircraft "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 19/ F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg/ 250px-F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg")	pictureList.kif 1181-1181
(subclass MilitaryAircraft Aircraft)	Military.kif 155-155	Military aircraft is a subclass of aircraft
(subclass MilitaryAircraft MilitaryVehicle)	Military.kif 156-156	Military aircraft is a subclass of military vehicle

appearance as argument number 2

(subclass Bomber MilitaryAircraft)	Military.kif 174-174	Bomber is a subclass of military aircraft
(subclass Fighter MilitaryAircraft)	Military.kif 161-161	Fighter is a subclass of military aircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机")	domainEnglishFormat.kif 37575-37575	Fighter is a subclass of military aircraft
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機")	domainEnglishFormat.kif 37574-37574	Fighter is a subclass of military aircraft
(termFormat EnglishLanguage MilitaryAircraft "military aircraft")	domainEnglishFormat.kif 37573-37573	Fighter is a subclass of military aircraft

consequent

(=> (instance ?A MilitaryAirport) (hasPurpose ?A (exists (?M) (and (instance ?M MilitaryAircraft) (or (capableAtLocation TakingOff origin ?M ?A) (capableAtLocation Landing destination ?M ?A))))))	MilitaryProcesses.kif 2790-2798	If a physical is an instance of military airport, then the physical has the purpose there exists an entity such that the entity is an instance of military aircraft and taking off capable at location origin for the entity with the physical or landing capable at location destination for the entity with the physical
(=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft)))))	Military.kif 164-172	If a physical is an instance of fighter, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attack and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of military aircraft

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