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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryArtifact

appearance as argument number 1

(documentation MilitaryArtifact EnglishLanguage "Any Artifact which is made for a MilitaryOrganization.") Mid-level-ontology.kif 15446-15447
(externalImage MilitaryArtifact " 2/ 2e/ USAF_F-15C_fires_AIM-7_Sparrow.jpg") pictureList.kif 8599-8599 externalImage MilitaryArtifact and " USAF_F-15C_fires_AIM-7_Sparrow.jpg"
(externalImage MilitaryArtifact " 4/ 42/ CSI_timeline.png") pictureList.kif 9430-9430 externalImage MilitaryArtifact and " CSI_timeline.png"
(externalImage MilitaryArtifact " d/ d8/ Arrow-head_Olynthus_BM_GR1912.4-19.4.jpg") pictureList.kif 9429-9429 externalImage MilitaryArtifact and " Arrow-head_Olynthus_BM_GR1912.4-19.4.jpg"
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15445-15445 subclass MilitaryArtifact and Artifact

appearance as argument number 2

(subclass MilitaryInstallation MilitaryArtifact) Mid-level-ontology.kif 13377-13377 subclass MilitaryInstallation and MilitaryArtifact
(subclass MilitarySurplus MilitaryArtifact) Mid-level-ontology.kif 8127-8127 subclass MilitarySurplus and MilitaryArtifact
(termFormat ChineseLanguage MilitaryArtifact "军事人工品") domainEnglishFormat.kif 37477-37477 termFormat ChineseLanguage, MilitaryArtifact and "军事人工品"
(termFormat ChineseTraditionalLanguage MilitaryArtifact "軍事人工品") domainEnglishFormat.kif 37476-37476 termFormat ChineseTraditionalLanguage, MilitaryArtifact and "軍事人工品"
(termFormat EnglishLanguage MilitaryArtifact "military artifact") domainEnglishFormat.kif 37475-37475 termFormat EnglishLanguage, MilitaryArtifact and "military artifact"


    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))
Mid-level-ontology.kif 15449-15455

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners