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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Graduation

Sigma KEE - Graduation
Graduation(graduation)
graduation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2951-2952
No TPTP formula. May not be expressible in strict first order. Merge.kif 10699-10700
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1706-1707
No TPTP formula. May not be expressible in strict first order. pictureList.kif 469-469
No TPTP formula. May not be expressible in strict first order. Merge.kif 10697-10697 Graduation is a subclass of leaving an organization

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1099-1099
No TPTP formula. May not be expressible in strict first order. english_format.kif 1415-1415
No TPTP formula. May not be expressible in strict first order. french_format.kif 777-777
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 309-309
No TPTP formula. May not be expressible in strict first order. terms-it.txt 312-312
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2461-2461
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 729-729
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 314-314
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 348-348
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 798-798
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 313-313

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10702-10706

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16690-16702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16671-16683


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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