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 13396-13398
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 2945-2945
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 3066-3066
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 3069-3069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3064-3064
No TPTP formula. May not be expressible in strict first order. Merge.kif 13395-13395 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 1001-1001 Accrediting is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1029-1029 Appointing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1014-1014 Divorcing is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 924-924 Founding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17663-17663 Game call is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 10926-10926 Legal decision is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Merge.kif 13407-13407 Naming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15193-15193 Passing a bill is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17264-17264 Proclaiming is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9128-9128 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1205-1205 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. english_format.kif 1627-1627 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. french_format.kif 883-883 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 416-416 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-it.txt 419-419 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2567-2567 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 835-835 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 421-421 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 455-455 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-de.txt 714-714 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 904-904 Wedding is a subclass of declaring
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 420-420 Wedding is a subclass of declaring

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13400-13405

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2354-2360
No TPTP formula. May not be expressible in strict first order. Merge.kif 16700-16706


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