No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16924-16924 |
Employment firing is a subclass of terminating employment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16929-16929 |
Resigning is a subclass of terminating employment |
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 |
|