Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryInstallation
MilitaryInstallation(military installation)

appearance as argument number 1
-------------------------


(documentation MilitaryInstallation EnglishLanguage "A StationaryArtifact consisting of grounds and Buildings that is intended to be used by a MilitaryOrganization.") Mid-level-ontology.kif 16656-16657
(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 16655-16655 Military installation is a subclass of military artifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 25715-25715 Military installation is a subclass of postal place
(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 16654-16654 Military installation is a subclass of stationary artifact
(typicalPart MilitaryInstallation MilitaryBase) MilitaryProcesses.kif 2745-2745 A military installation is typically a part of a military base

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


(subclass MilitaryAirport MilitaryInstallation) MilitaryProcesses.kif 2764-2764 Military airport is a subclass of military installation
(subclass SecureAirfield MilitaryInstallation) MilitaryProcesses.kif 2862-2862 Secure airfield is a subclass of military installation
(termFormat ChineseLanguage MilitaryInstallation "军事装置") domainEnglishFormat.kif 37675-37675 Secure airfield is a subclass of military installation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37674-37674 Secure airfield is a subclass of military installation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37673-37673 Secure airfield is a subclass of military installation


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