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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3279-3280
No TPTP formula. May not be expressible in strict first order. Merge.kif 12327-12329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3070-3070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2947-2947
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3069-3069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3068-3068
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3072-3072
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3071-3071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3066-3066
No TPTP formula. May not be expressible in strict first order. Merge.kif 12326-12326 Declaring is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1395 Accrediting is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1422-1422 Appointing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1408-1408 Divorcing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1321-1321 Founding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13950-13950 Game call is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10111-10111 Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12338-12338 Naming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11454-11454 PassingA bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13560-13560 Proclaiming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7628-7628 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1205-1205
No TPTP formula. May not be expressible in strict first order. english_format.kif 1632-1632

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12331-12336

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2334-2340
No TPTP formula. May not be expressible in strict first order. Merge.kif 15401-15407


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