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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring
more pictures...
Declarar, Dichiarare, 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...

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


(documentation Declaring ChineseLanguage "这个 Class 属于由主管当局执行,并能在制度上作出改变的 LinguisticCommunication。一些例子如:提名、证婚和免职。") Merge.kif 13163-13164
(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 13160-13162
(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 13159-13159

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1394-1394
(subclass Appointing Declaring) Mid-level-ontology.kif 1421-1421
(subclass AwardingADegree Declaring) LinkedInDegrees.kif 31-31
(subclass Divorcing Declaring) Mid-level-ontology.kif 1407-1407
(subclass Founding Declaring) Mid-level-ontology.kif 1320-1320
(subclass GameCall Declaring) Mid-level-ontology.kif 13922-13922
(subclass LegalDecision Declaring) Merge.kif 10690-10690
(subclass Naming Declaring) Merge.kif 13173-13173
(subclass PassingABill Declaring) Mid-level-ontology.kif 11421-11421
(subclass Proclaiming Declaring) Mid-level-ontology.kif 13533-13533
(subclass Wedding Declaring) Mid-level-ontology.kif 7645-7645
(termFormat ChineseLanguage Declaring "声明") chinese_format.kif 1205-1205
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 892-892
(termFormat FrenchLanguage Declaring "d�clarer") french_format.kif 883-883
(termFormat Hindi Declaring "ghoshanaa") terms-hindi.txt 416-416
(termFormat ItalianLanguage Declaring "Dichiarare") terms-it.txt 417-417
(termFormat PortugueseLanguage Declaring "Declarar") portuguese_format.kif 835-835
(termFormat cb Declaring "pagdeklarar") terms-cb.txt 421-421
(termFormat cz Declaring "declaring") terms-cz.txt 455-455
(termFormat tg Declaring "nag-uulat") terms-tg.txt 420-420

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


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

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 16714-16720


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