Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Pakistan

 Sigma KEE - MilitaryInstallation
MilitaryInstallation(military installation)

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


(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 17325-17325 Military installation is a subclass of stationary artifact
(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 17326-17326 Military installation is a subclass of military artifact
(documentation MilitaryInstallation EnglishLanguage "A StationaryArtifact consisting of grounds and Buildings that is intended to be used by a MilitaryOrganization.") Mid-level-ontology.kif 17327-17328 Military installation is a subclass of military artifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26879-26879 Military installation is a subclass of postal place
(typicalPart MilitaryInstallation MilitaryBase) MilitaryProcesses.kif 2789-2789 A military installation is typically a part of a military base

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


(subclass MilitaryAirport MilitaryInstallation) MilitaryProcesses.kif 2808-2808 Military airport is a subclass of military installation
(subclass SecureAirfield MilitaryInstallation) MilitaryProcesses.kif 2906-2906 Secure airfield is a subclass of military installation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37649-37649 Secure airfield is a subclass of military installation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37650-37650 Secure airfield is a subclass of military installation
(termFormat ChineseLanguage MilitaryInstallation "军事装置") domainEnglishFormat.kif 37651-37651 Secure airfield is a subclass of military installation


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners