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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Appointing
Appointing(appointing)
adorn, clothe, enthrone, invest, make, name, nominate, nomination, vest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1423-1426
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2939-2939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3042-3042
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1422-1422 Appointing is a subclass of declaring

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1358-1358 Coronation is a subclass of appointing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8045-8045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8044-8044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8043-8043

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1427-1440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1442-1448


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