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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Declaring
Declaring(declaring)
more pictures...
abdication, abnegate, abrogate, absolution, accession, adjourn, adjudge, admission, admittance, advocacy, allege, alliance, amnesty, anathema, announce, annul, annulment, apostatise, apostatize, appeal, appointive, appointment, arraign, arrogate, attainder, authorisation, authorization, aver, avoid, baronetise, baronetize, beatify, benefit_of_clergy, benison, betrothal, boycott, break, breakaway, breaking_away, breakup, bridal, call, cancel, cancellation, canonise, canonize, celebration, censure, certification, certified...

appearance as argument number 1
-------------------------


s__documentation(s__Declaring,s__ChineseLanguage,'"这个 Class 属于由主管当局执行,并能在制度上作出改变的 LinguisticCommunication。一些例子如:提名、证婚和免职。"')

chinese_format.kif 3279-3280
s__documentation(s__Declaring,s__EnglishLanguage,'"The Class of LinguisticCommunications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, and excommunicating."')

Merge.kif 12619-12621
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg"')

pictureList.kif 3070-3070
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg"')

pictureList.kif 2947-2947
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg"')

pictureList.kif 3069-3069
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg"')

pictureList.kif 3068-3068
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg"')

pictureList.kif 3072-3072
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg"')

pictureList.kif 3071-3071
s__externalImage(s__Declaring,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg"')

pictureList.kif 3066-3066
s__subclass(s__Declaring,s__LinguisticCommunication)

s__instance(s__Declaring,s__Class)

s__instance(s__LinguisticCommunication,s__Class)

Merge.kif 12618-12618 Declaring is a subclass of linguistic communication

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


s__subclass(s__Accrediting,s__Declaring)

s__instance(s__Declaring,s__Class)

s__instance(s__Accrediting,s__Class)

Mid-level-ontology.kif 949-949 Accrediting is a subclass of declaring
s__instance(s__Declaring,s__Class)

s__instance(s__Appointing,s__Class)

s__subclass(s__Appointing,s__Declaring)

Mid-level-ontology.kif 976-976 Appointing is a subclass of declaring
s__subclass(s__Divorcing,s__Declaring)

s__instance(s__Declaring,s__Class)

s__instance(s__Divorcing,s__Class)

Mid-level-ontology.kif 962-962 Divorcing is a subclass of declaring
s__subclass(s__Founding,s__Declaring)

s__instance(s__Founding,s__Class)

s__instance(s__Declaring,s__Class)

Mid-level-ontology.kif 875-875 Founding is a subclass of declaring
s__instance(s__GameCall,s__Class)

s__instance(s__Declaring,s__Class)

s__subclass(s__GameCall,s__Declaring)

Mid-level-ontology.kif 15418-15418 Game call is a subclass of declaring
s__instance(s__LegalDecision,s__Class)

s__subclass(s__LegalDecision,s__Declaring)

s__instance(s__Declaring,s__Class)

Merge.kif 10362-10362 Legal decision is a subclass of declaring
s__instance(s__Naming,s__Class)

s__subclass(s__Naming,s__Declaring)

s__instance(s__Declaring,s__Class)

Merge.kif 12630-12630 Naming is a subclass of declaring
s__instance(s__PassingABill,s__Class)

s__subclass(s__PassingABill,s__Declaring)

s__instance(s__Declaring,s__Class)

Mid-level-ontology.kif 13014-13014 PassingA bill is a subclass of declaring
s__instance(s__Proclaiming,s__Class)

s__subclass(s__Proclaiming,s__Declaring)

s__instance(s__Declaring,s__Class)

Mid-level-ontology.kif 15023-15023 Proclaiming is a subclass of declaring
s__instance(s__Wedding,s__Class)

s__subclass(s__Wedding,s__Declaring)

s__instance(s__Declaring,s__Class)

Mid-level-ontology.kif 7606-7606 Wedding is a subclass of declaring
s__termFormat(s__ChineseLanguage,s__Declaring,'"声明"')

chinese_format.kif 1205-1205
s__termFormat(s__EnglishLanguage,s__Declaring,'"declaring"')

english_format.kif 1632-1632

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12623-12628

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


( ! [V__X] :
   ((s__instance(V__X,s__ForeignTerroristOrganization) =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__Declaring) &
               s__agent(V__EV,s__USStateDepartment) &
               s__patient(V__EV,V__X))))))
   )
)

Government.kif 2379-2385
No TPTP formula. May not be expressible in strict first order. Merge.kif 15851-15857


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