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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring(declaring)
more pictures...
abdication, abnegate, abrogate, absolution, accession, adjourn, adjudge, admission, admittance, advocacy, allege, alliance, amnesty, anathema, announce, annul, annulment, apostatise, apostatize, appeal, appointive, appointment, arraign, arrogate, attainder, authorisation, authorization, aver, avoid, baronetise, baronetize, beatify, benefit_of_clergy, benison, betrothal, boycott, break, breakaway, breaking_away, breakup, bridal, call, cancel, cancellation, canonise, canonize, celebration, censure, certification, certified...

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。一些例子如:提名、证婚和免职。") Merge.kif 17592-17593
(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 17589-17591
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3070-3070 "http://upload.wikimedia.org/wikipedia/commons/0/07/ Us_declaration_independence.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") pictureList.kif 2947-2947 "http://upload.wikimedia.org/wikipedia/commons/1/15/ Declaration_independence.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3069-3069 "http://upload.wikimedia.org/wikipedia/commons/3/31/ USA_declaration_independence.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3068-3068 "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Declaration_of_Human_Rights.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3072-3072 "http://upload.wikimedia.org/wikipedia/commons/b/b6/ Us_declaration_independence_signatures.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3071-3071 "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Declaration_of_Independence.jpg" is a URL depicting declaring
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3066-3066 "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Declaration_of_Independence_%28USA%29.jpg" is a URL depicting declaring
(subclass Declaring LinguisticCommunication) Merge.kif 17588-17588 Declaring is a subclass of linguistic communication

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1394-1394 Accrediting is a subclass of declaring
(subclass Appointing Declaring) Mid-level-ontology.kif 1421-1421 Appointing is a subclass of declaring
(subclass Divorcing Declaring) Mid-level-ontology.kif 1407-1407 Divorcing is a subclass of declaring
(subclass Founding Declaring) Mid-level-ontology.kif 1320-1320 Founding is a subclass of declaring
(subclass GameCall Declaring) Mid-level-ontology.kif 13923-13923 Game call is a subclass of declaring
(subclass LegalDecision Declaring) Merge.kif 14743-14743 Legal decision is a subclass of declaring
(subclass Naming Declaring) Merge.kif 17602-17602 Naming is a subclass of declaring
(subclass PassingABill Declaring) Mid-level-ontology.kif 11422-11422 PassingA bill is a subclass of declaring
(subclass Proclaiming Declaring) Mid-level-ontology.kif 13534-13534 Proclaiming is a subclass of declaring
(subclass Wedding Declaring) Mid-level-ontology.kif 7646-7646 Wedding is a subclass of declaring
(termFormat ChineseLanguage Declaring "声明") chinese_format.kif 1205-1205 "声明" is the printable form of declaring in ChineseLanguage
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 2324-2324 "declaring" is the printable form of declaring in english language
(termFormat JapaneseLanguage Declaring "declaring") english_format.kif 2325-2325 "declaring" is the printable form of declaring in japanese language

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


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

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


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


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