No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10731-10731 |
Graduation is a subclass of leaving an organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10695-10695 |
Quitting is a subclass of leaving an organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10768-10768 |
Terminating employment is a subclass of leaving an organization |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1098-1098 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1407-1407 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 776-776 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 308-308 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2460-2460 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 728-728 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 797-797 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 312-312 |
|