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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitary
USMilitary

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


(documentation USMilitary EnglishLanguage "All Military of the United States.") MilitaryProcesses.kif 941-941
(externalImage USMilitary "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ US_National_Command.png") pictureList.kif 5537-5537 externalImage USMilitary and "http://upload.wikimedia.org/wikipedia/commons/6/61/ US_National_Command.png"
(instance USMilitary MilitaryOrganization) MilitaryProcesses.kif 939-939 USMilitaryMilitaryOrganizationinstance では %n
(militaryOfArea USMilitary UnitedStates) MilitaryProcesses.kif 940-940 militaryOfArea USMilitary and UnitedStates

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


(termFormat ChineseLanguage USMilitary "美军") domainEnglishFormat.kif 60829-60829 termFormat ChineseLanguage, USMilitary and "美军"
(termFormat ChineseTraditionalLanguage USMilitary "美軍") domainEnglishFormat.kif 60828-60828 termFormat ChineseTraditionalLanguage, USMilitary and "美軍"
(termFormat EnglishLanguage USMilitary "US military") domainEnglishFormat.kif 60827-60827 termFormat EnglishLanguage, USMilitary and "US military"
(termFormat EnglishLanguage USMilitary "United States military") MilitaryProcesses.kif 2710-2710 termFormat EnglishLanguage, USMilitary and "United States military"

consequent
-------------------------


(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 929-937


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