Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  angleOfFigure

 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...

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


(subclass Declaring LinguisticCommunication) Merge.kif 13544-13544 Declaring is a subclass of linguistic communication
(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 13545-13547 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") pictureList.kif 2945-2945 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3064-3064 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3066-3066 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3067-3067 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3068-3068 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3069-3069 Declaring is a subclass of linguistic communication
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3070-3070 Declaring is a subclass of linguistic communication

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


(subclass LegalDecision Declaring) Merge.kif 11035-11035 Legal decision is a subclass of declaring
(subclass Naming Declaring) Merge.kif 13557-13557 Naming is a subclass of declaring
(subclass Founding Declaring) Mid-level-ontology.kif 921-921 Founding is a subclass of declaring
(subclass Accrediting Declaring) Mid-level-ontology.kif 998-998 Accrediting is a subclass of declaring
(subclass Divorcing Declaring) Mid-level-ontology.kif 1011-1011 Divorcing is a subclass of declaring
(subclass Appointing Declaring) Mid-level-ontology.kif 1026-1026 Appointing is a subclass of declaring
(subclass Wedding Declaring) Mid-level-ontology.kif 9282-9282 Wedding is a subclass of declaring
(subclass PassingABill Declaring) Mid-level-ontology.kif 15419-15419 Passing a bill is a subclass of declaring
(subclass Proclaiming Declaring) Mid-level-ontology.kif 17488-17488 Proclaiming is a subclass of declaring
(subclass GameCall Declaring) Mid-level-ontology.kif 17909-17909 Game call is a subclass of declaring
(subclass AwardingADegree Declaring) LinkedInDegrees.kif 31-31 Awarding a degree is a subclass of declaring
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 1631-1631 Awarding a degree is a subclass of declaring

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


(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?DECLARE ?AGENT1 ?OBLIGATION)
            (confersObligation ?DECLARE ?AGENT2 ?OBLIGATION))))		 Merge.kif 16884-16890 If there is a legal relation between X and Y, then there exist Z, W such that Z is an instance of declaring, X obligates W to perform task of the type Z, and Y obligates W to perform task of the type Z
(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))		 Government.kif 2363-2369 If X is an instance of foreign terrorist organization, then there exists Y such that Y is an instance of declaring, US state department is an agent of Y, and X is a patient of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners