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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerminatingEmployment

 Sigma KEE - TerminatingEmployment
TerminatingEmployment

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2957-2958
No TPTP formula. May not be expressible in strict first order. Merge.kif 10758-10760
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order. Merge.kif 10756-10756 子類 TerminatingEmployment and LeavingAnOrganization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16924-16924 子類 就業解僱 and TerminatingEmployment
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16929-16929 子類 辭職 and TerminatingEmployment
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1102-1102
No TPTP formula. May not be expressible in strict first order. english_format.kif 1421-1421
No TPTP formula. May not be expressible in strict first order. french_format.kif 780-780
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 312-312
No TPTP formula. May not be expressible in strict first order. terms-it.txt 315-315
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2464-2464
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 732-732
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 317-317
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 351-351
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 801-801
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 316-316

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10762-10770


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