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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecretaryOfDefense
SecretaryOfDefense

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


(documentation SecretaryOfDefense EnglishLanguage "The secretary of defence is the highest military commander during peacetime, during wartime it is usually the president.") MilitaryPersons.kif 457-458
(instance SecretaryOfDefense Position) MilitaryPersons.kif 454-454 instance SecretaryOfDefense and Position
(subAttribute SecretaryOfDefense MilitaryCommander) MilitaryPersons.kif 455-455 subAttribute SecretaryOfDefense and MilitaryCommander

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


(termFormat ChineseLanguage SecretaryOfDefense "国防部长") domainEnglishFormat.kif 51757-51757 termFormat ChineseLanguage, SecretaryOfDefense and "国防部长"
(termFormat ChineseTraditionalLanguage SecretaryOfDefense "國防部長") domainEnglishFormat.kif 51756-51756 termFormat ChineseTraditionalLanguage, SecretaryOfDefense and "國防部長"
(termFormat EnglishLanguage SecretaryOfDefense "Secretary of Defense") MilitaryPersons.kif 692-692 termFormat EnglishLanguage, SecretaryOfDefense and "Secretary of Defense"
(termFormat EnglishLanguage SecretaryOfDefense "secretary of defense") domainEnglishFormat.kif 51755-51755 termFormat EnglishLanguage, SecretaryOfDefense and "secretary of defense"

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


(=>
    (and
        (attribute ?MILITARY PeaceState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))
MilitaryPersons.kif 461-466
(=>
    (instance ?FORCES SpecialOperationsForces)
    (exists (?DESIGNATING ?HUMAN)
        (and
            (instance ?DESIGNATING Designating)
            (agent ?DESIGNATING ?HUMAN)
            (attribute ?HUMAN SecretaryOfDefense)
            (patient ?DESIGNATING ?FORCES))))
MilitaryProcesses.kif 309-316


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