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 13242-13244
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 2946-2946
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 3067-3067
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 3070-3070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3065-3065
No TPTP formula. May not be expressible in strict first order. Merge.kif 13241-13241 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 1008-1008 Accrediting is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1036-1036 Appointing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1021-1021 Divorcing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 931-931 Founding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16276-16276 Game call is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10788-10788 Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 13253-13253 Naming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13822-13822 PassingA bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15877-15877 Proclaiming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7961-7961 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 1627-1627
No TPTP formula. May not be expressible in strict first order. french_format.kif 883-883
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 416-416
No TPTP formula. May not be expressible in strict first order. terms-it.txt 419-419
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2567-2567
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 835-835
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 421-421
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 455-455
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 904-904
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 420-420

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13246-13251

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2393-2399
No TPTP formula. May not be expressible in strict first order. Merge.kif 16525-16531


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