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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring(d�clarer)
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 13242-13244
(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 13241-13241 D�clarer est une sous-classe de LinguisticCommunication

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1008-1008 Accrediting est une sous-classe de d�clarer
(subclass Appointing Declaring) Mid-level-ontology.kif 1036-1036 Appointing est une sous-classe de d�clarer
(subclass Divorcing Declaring) Mid-level-ontology.kif 1021-1021 Divorcing est une sous-classe de d�clarer
(subclass Founding Declaring) Mid-level-ontology.kif 931-931 Founding est une sous-classe de d�clarer
(subclass GameCall Declaring) Mid-level-ontology.kif 16276-16276 GameCall est une sous-classe de d�clarer
(subclass LegalDecision Declaring) Merge.kif 10788-10788 LegalDecision est une sous-classe de d�clarer
(subclass Naming Declaring) Merge.kif 13253-13253 Naming est une sous-classe de d�clarer
(subclass PassingABill Declaring) Mid-level-ontology.kif 13822-13822 PassingABill est une sous-classe de d�clarer
(subclass Proclaiming Declaring) Mid-level-ontology.kif 15877-15877 Proclaiming est une sous-classe de d�clarer
(subclass Wedding Declaring) Mid-level-ontology.kif 7961-7961 Wedding est une sous-classe de d�clarer
(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 13246-13251

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


(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2393-2399
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16525-16531


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