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 15978-15979
(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 15977-15977 Military installation is a subclass of military artifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24916-24916 Military installation is a subclass of postal place
(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 15976-15976 Military installation is a subclass of stationary artifact
(typicalPart MilitaryInstallation MilitaryBase) MilitaryProcesses.kif 2765-2765 A military installation is typically a part of a military base

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


(subclass MilitaryAirport MilitaryInstallation) MilitaryProcesses.kif 2784-2784 Military airport is a subclass of military installation
(subclass SecureAirfield MilitaryInstallation) MilitaryProcesses.kif 2882-2882 Secure airfield is a subclass of military installation
(termFormat ChineseLanguage MilitaryInstallation "军事装置") domainEnglishFormat.kif 37678-37678 Secure airfield is a subclass of military installation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37677-37677 Secure airfield is a subclass of military installation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37676-37676 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