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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryInstallation
MilitaryInstallation

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 MilitaryInstallation est une sous-classe de MilitaryArtifact
(subclass MilitaryInstallation PostalPlace) Mid-level-ontology.kif 26258-26258 MilitaryInstallation est une sous-classe de PostalPlace
(subclass MilitaryInstallation StationaryArtifact) Mid-level-ontology.kif 17099-17099 MilitaryInstallation est une sous-classe de artefact stationnaire
(typicalPart MilitaryInstallation MilitaryBase) MilitaryProcesses.kif 2748-2748 typicalPart MilitaryInstallation and MilitaryBase

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


(subclass MilitaryAirport MilitaryInstallation) MilitaryProcesses.kif 2767-2767 MilitaryAirport est une sous-classe de MilitaryInstallation
(subclass SecureAirfield MilitaryInstallation) MilitaryProcesses.kif 2865-2865 SecureAirfield est une sous-classe de MilitaryInstallation
(termFormat ChineseLanguage MilitaryInstallation "军事装置") domainEnglishFormat.kif 37658-37658 SecureAirfield est une sous-classe de MilitaryInstallation
(termFormat ChineseTraditionalLanguage MilitaryInstallation "軍事裝置") domainEnglishFormat.kif 37657-37657 SecureAirfield est une sous-classe de MilitaryInstallation
(termFormat EnglishLanguage MilitaryInstallation "military installation") domainEnglishFormat.kif 37656-37656 SecureAirfield est une sous-classe de MilitaryInstallation


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