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 12265-12267
(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 12264-12264 subclass Declaring and LinguisticCommunication

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1389-1389 subclass Accrediting and Declaring
(subclass Appointing Declaring) Mid-level-ontology.kif 1416-1416 subclass Appointing and Declaring
(subclass Divorcing Declaring) Mid-level-ontology.kif 1402-1402 subclass Divorcing and Declaring
(subclass Founding Declaring) Mid-level-ontology.kif 1315-1315 subclass Founding and Declaring
(subclass GameCall Declaring) Mid-level-ontology.kif 13923-13923 subclass GameCall and Declaring
(subclass LegalDecision Declaring) Merge.kif 10043-10043 subclass LegalDecision and Declaring
(subclass Naming Declaring) Merge.kif 12276-12276 subclass Naming and Declaring
(subclass PassingABill Declaring) Mid-level-ontology.kif 11427-11427 subclass PassingABill and Declaring
(subclass Proclaiming Declaring) Mid-level-ontology.kif 13533-13533 subclass Proclaiming and Declaring
(subclass Wedding Declaring) Mid-level-ontology.kif 7647-7647 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 12269-12274

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 15327-15333


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