Declaring - Sigma Knowledge base Browser

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 13317-13319
(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 13316-13316	Declaring is a subclass of linguistic communication

appearance as argument number 2

(subclass Accrediting Declaring)	Mid-level-ontology.kif 1001-1001	Accrediting is a subclass of declaring
(subclass Appointing Declaring)	Mid-level-ontology.kif 1029-1029	Appointing is a subclass of declaring
(subclass Divorcing Declaring)	Mid-level-ontology.kif 1014-1014	Divorcing is a subclass of declaring
(subclass Founding Declaring)	Mid-level-ontology.kif 924-924	Founding is a subclass of declaring
(subclass GameCall Declaring)	Mid-level-ontology.kif 17204-17204	Game call is a subclass of declaring
(subclass LegalDecision Declaring)	Merge.kif 10851-10851	Legal decision is a subclass of declaring
(subclass Naming Declaring)	Merge.kif 13328-13328	Naming is a subclass of declaring
(subclass PassingABill Declaring)	Mid-level-ontology.kif 14750-14750	Passing a bill is a subclass of declaring
(subclass Proclaiming Declaring)	Mid-level-ontology.kif 16805-16805	Proclaiming is a subclass of declaring
(subclass Wedding Declaring)	Mid-level-ontology.kif 8734-8734	Wedding is a subclass of declaring
(termFormat ChineseLanguage Declaring "声明")	chinese_format.kif 1205-1205	Wedding is a subclass of declaring
(termFormat EnglishLanguage Declaring "declaring")	english_format.kif 1627-1627	Wedding is a subclass of declaring
(termFormat FrenchLanguage Declaring "d�clarer")	french_format.kif 883-883	Wedding is a subclass of declaring
(termFormat Hindi Declaring "ghoshanaa")	terms-hindi.txt 416-416	Wedding is a subclass of declaring
(termFormat ItalianLanguage Declaring "Dichiarare")	terms-it.txt 419-419	Wedding is a subclass of declaring
(termFormat JapaneseLanguage Declaring "declaring")	japanese_format.kif 2567-2567	Wedding is a subclass of declaring
(termFormat PortugueseLanguage Declaring "Declarar")	portuguese_format.kif 835-835	Wedding is a subclass of declaring
(termFormat cb Declaring "pagdeklarar")	terms-cb.txt 421-421	Wedding is a subclass of declaring
(termFormat cz Declaring "declaring")	terms-cz.txt 455-455	Wedding is a subclass of declaring
(termFormat de Declaring "Erklaeren")	terms-de.txt 714-714	Wedding is a subclass of declaring
(termFormat ro Declaring "declarare")	relations-ro.kif 904-904	Wedding is a subclass of declaring
(termFormat tg Declaring "nag-uulat")	terms-tg.txt 420-420	Wedding is a subclass of declaring

antecedent

(=>
    (instance ?DECLARE Declaring)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DECLARE ?PROP ?NORM)
            (deprivesNorm ?DECLARE ?PROP ?NORM))))

Merge.kif 13321-13326

If an entity is an instance of declaring,
then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm

consequent

(=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X))))	Government.kif 2355-2361	If an entity is an instance of foreign terrorist organization, then there exists a process such that the process is an instance of declaring and US state department is an agent of the process and the entity is a patient of the process
(=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))	Merge.kif 16621-16627	If there is a legal relation between a human and another human, then there exist an entity and a formula such that the entity is an instance of declaring and the entity obligates the human to perform task of the type the formula and the entity obligates the other human to perform task of the type the formula

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

KB Term:			Term intersection

English Word: