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 948-948 Accrediting is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 975-975 Appointing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 961-961 Divorcing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 874-874 Founding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12978-12978 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 10603-10603 PassingA bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12583-12583 Proclaiming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6938-6938 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 2366-2372
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