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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 13212-13214
(externalImage Declaring " 0/ 07/ Us_declaration_independence.jpg") pictureList.kif 3069-3069
(externalImage Declaring " 1/ 15/ Declaration_independence.jpg") pictureList.kif 2946-2946
(externalImage Declaring " 3/ 31/ USA_declaration_independence.jpg") pictureList.kif 3068-3068
(externalImage Declaring " a/ a0/ Declaration_of_Human_Rights.jpg") pictureList.kif 3067-3067
(externalImage Declaring " b/ b6/ Us_declaration_independence_signatures.jpg") pictureList.kif 3071-3071
(externalImage Declaring " c/ c3/ Declaration_of_Independence.jpg") pictureList.kif 3070-3070
(externalImage Declaring " e/ e4/ Declaration_of_Independence_%28USA%29.jpg") pictureList.kif 3065-3065
(subclass Declaring LinguisticCommunication) Merge.kif 13211-13211 D�clarer est une sous-classe de LinguisticCommunication

appearance as argument number 2

(subclass Accrediting Declaring) Mid-level-ontology.kif 980-980 Accrediting est une sous-classe de d�clarer
(subclass Appointing Declaring) Mid-level-ontology.kif 1008-1008 Appointing est une sous-classe de d�clarer
(subclass Divorcing Declaring) Mid-level-ontology.kif 993-993 Divorcing est une sous-classe de d�clarer
(subclass Founding Declaring) Mid-level-ontology.kif 903-903 Founding est une sous-classe de d�clarer
(subclass GameCall Declaring) Mid-level-ontology.kif 16248-16248 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 13223-13223 Naming est une sous-classe de d�clarer
(subclass PassingABill Declaring) Mid-level-ontology.kif 13794-13794 PassingABill est une sous-classe de d�clarer
(subclass Proclaiming Declaring) Mid-level-ontology.kif 15849-15849 Proclaiming est une sous-classe de d�clarer
(subclass Wedding Declaring) Mid-level-ontology.kif 7933-7933 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


    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))
Merge.kif 13216-13221


    (instance ?X ForeignTerroristOrganization)
    (exists (?EV)
            (instance ?EV Declaring)
            (agent ?EV USStateDepartment)
            (patient ?EV ?X))))
Government.kif 2393-2399
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16495-16501

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 is open source software produced by Articulate Software and its partners