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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring
more pictures...

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 13288-13290
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3069-3069
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") pictureList.kif 2946-2946
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3068-3068
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3067-3067
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3071-3071
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3070-3070
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3065-3065
(subclass Declaring LinguisticCommunication) Merge.kif 13287-13287

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1001-1001
(subclass Appointing Declaring) Mid-level-ontology.kif 1029-1029
(subclass Divorcing Declaring) Mid-level-ontology.kif 1014-1014
(subclass Founding Declaring) Mid-level-ontology.kif 924-924
(subclass GameCall Declaring) Mid-level-ontology.kif 16303-16303
(subclass LegalDecision Declaring) Merge.kif 10822-10822
(subclass Naming Declaring) Merge.kif 13299-13299
(subclass PassingABill Declaring) Mid-level-ontology.kif 13849-13849
(subclass Proclaiming Declaring) Mid-level-ontology.kif 15904-15904
(subclass Wedding Declaring) Mid-level-ontology.kif 7988-7988
(termFormat ChineseLanguage Declaring "声明") chinese_format.kif 1205-1205
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 1627-1627
(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 419-419
(termFormat JapaneseLanguage Declaring "declaring") japanese_format.kif 2567-2567
(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 ro Declaring "declarare") relations-ro.kif 904-904
(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 13292-13297

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


(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2357-2363
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16596-16602


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