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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring
more pictures...

VerbNet: declare-29.4|declare, conjecture-29.5|aver, void-106|nullify, conjecture-29.5|aver, void-106|nullify, dub-29.3|call, characterize-29.2|certify, confine-92|send, confine-92|send, appoint-29.1|ordain, judgment-33|repudiate, marry-36.2|divorce, orphan-29.7|knight, declare-29.4|declare, confine-92|send, confine-92|send, void-106|nullify, orphan-29.7|knight, amalgamate-22.2|wed, void-106|nullify, appoint-29.1|ordain, appoint-29.1|ordain, appoint-29.1|ordain, declare-29.4|proclaim, void-106|nullify, amalgamate-22.2|remarry, judgment-33|repudiate, judgment-33|repudiate, conjecture-29.5|aver, confine-92|send, amalgamate-22.2|wed, marry-36.2|divorce, amalgamate-22.2|wed, void-106|nullify, amalgamate-22.2|wed,


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


(documentation Declaring ChineseLanguage "这个 Class 属于由主管当局执行,并能在制度上作出改变的 LinguisticCommunication。一些例子如:提名、证婚和免职。") chinese_format.kif 3279-3280
(documentation Declaring EnglishLanguage "The Class of LinguisticCommunications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, and excommunicating.") Merge.kif 12292-12294
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3070-3070
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") pictureList.kif 2947-2947
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3069-3069
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3068-3068
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3072-3072
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3071-3071
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3066-3066
(subclass Declaring LinguisticCommunication) Merge.kif 12291-12291 subclass Declaring and LinguisticCommunication

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1395-1395 subclass Accrediting and Declaring
(subclass Appointing Declaring) Mid-level-ontology.kif 1422-1422 subclass Appointing and Declaring
(subclass Divorcing Declaring) Mid-level-ontology.kif 1408-1408 subclass Divorcing and Declaring
(subclass Founding Declaring) Mid-level-ontology.kif 1321-1321 subclass Founding and Declaring
(subclass GameCall Declaring) Mid-level-ontology.kif 13948-13948 subclass GameCall and Declaring
(subclass LegalDecision Declaring) Merge.kif 10076-10076 subclass LegalDecision and Declaring
(subclass Naming Declaring) Merge.kif 12303-12303 subclass Naming and Declaring
(subclass PassingABill Declaring) Mid-level-ontology.kif 11452-11452 subclass PassingABill and Declaring
(subclass Proclaiming Declaring) Mid-level-ontology.kif 13558-13558 subclass Proclaiming and Declaring
(subclass Wedding Declaring) Mid-level-ontology.kif 7626-7626 subclass Wedding and Declaring
(termFormat ChineseLanguage Declaring "声明") chinese_format.kif 1205-1205
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 1632-1632

antecedent
-------------------------


(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 12296-12301

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


(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2334-2340
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 15354-15360


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