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 17101-17102
(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 17100-17100 Military installation is a subclass of military artifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26258-26258 Military installation is a subclass of postal place
(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 17099-17099 Military installation is a subclass of stationary artifact
(typicalPart MilitaryInstallation MilitaryBase) MilitaryProcesses.kif 2748-2748 A military installation is typically a part of a military base

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


(subclass MilitaryAirport MilitaryInstallation) MilitaryProcesses.kif 2767-2767 Military airport is a subclass of military installation
(subclass SecureAirfield MilitaryInstallation) MilitaryProcesses.kif 2865-2865 Secure airfield is a subclass of military installation
(termFormat ChineseLanguage MilitaryInstallation "军事装置") domainEnglishFormat.kif 37658-37658 Secure airfield is a subclass of military installation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37657-37657 Secure airfield is a subclass of military installation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37656-37656 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