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 13381-13383
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3068-3068
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") pictureList.kif 2945-2945
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3067-3067
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3066-3066
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3070-3070
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3069-3069
(externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3064-3064
(subclass Declaring LinguisticCommunication) Merge.kif 13380-13380 D�clarer est une sous-classe de LinguisticCommunication

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


(subclass Accrediting Declaring) Mid-level-ontology.kif 1001-1001 Accrediting est une sous-classe de d�clarer
(subclass Appointing Declaring) Mid-level-ontology.kif 1029-1029 Appointing est une sous-classe de d�clarer
(subclass Divorcing Declaring) Mid-level-ontology.kif 1014-1014 Divorcing est une sous-classe de d�clarer
(subclass Founding Declaring) Mid-level-ontology.kif 924-924 Founding est une sous-classe de d�clarer
(subclass GameCall Declaring) Mid-level-ontology.kif 17663-17663 GameCall est une sous-classe de d�clarer
(subclass LegalDecision Declaring) Merge.kif 10911-10911 LegalDecision est une sous-classe de d�clarer
(subclass Naming Declaring) Merge.kif 13392-13392 Naming est une sous-classe de d�clarer
(subclass PassingABill Declaring) Mid-level-ontology.kif 15193-15193 PassingABill est une sous-classe de d�clarer
(subclass Proclaiming Declaring) Mid-level-ontology.kif 17264-17264 Proclaiming est une sous-classe de d�clarer
(subclass Wedding Declaring) Mid-level-ontology.kif 9128-9128 Wedding est une sous-classe de d�clarer
(termFormat ChineseLanguage Declaring "声明") chinese_format.kif 1205-1205 Wedding est une sous-classe de d�clarer
(termFormat EnglishLanguage Declaring "declaring") english_format.kif 1627-1627 Wedding est une sous-classe de d�clarer
(termFormat FrenchLanguage Declaring "d�clarer") french_format.kif 883-883 Wedding est une sous-classe de d�clarer
(termFormat Hindi Declaring "ghoshanaa") terms-hindi.txt 416-416 Wedding est une sous-classe de d�clarer
(termFormat ItalianLanguage Declaring "Dichiarare") terms-it.txt 419-419 Wedding est une sous-classe de d�clarer
(termFormat JapaneseLanguage Declaring "declaring") japanese_format.kif 2567-2567 Wedding est une sous-classe de d�clarer
(termFormat PortugueseLanguage Declaring "Declarar") portuguese_format.kif 835-835 Wedding est une sous-classe de d�clarer
(termFormat cb Declaring "pagdeklarar") terms-cb.txt 421-421 Wedding est une sous-classe de d�clarer
(termFormat cz Declaring "declaring") terms-cz.txt 455-455 Wedding est une sous-classe de d�clarer
(termFormat de Declaring "Erklaeren") terms-de.txt 714-714 Wedding est une sous-classe de d�clarer
(termFormat ro Declaring "declarare") relations-ro.kif 904-904 Wedding est une sous-classe de d�clarer
(termFormat tg Declaring "nag-uulat") terms-tg.txt 420-420 Wedding est une sous-classe de d�clarer

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


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

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


(=>
    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
        (and
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2354-2360
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16685-16691


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