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 15946-15947
(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 15945-15945 Military installation is a subclass of military artifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 24884-24884 Military installation is a subclass of postal place
(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 15944-15944 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 37683-37683 Secure airfield is a subclass of military installation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37682-37682 Secure airfield is a subclass of military installation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37681-37681 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