No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10719-10719 |
Graduation is a subclass of leaving an organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10683-10683 |
Quitting is a subclass of leaving an organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10756-10756 |
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 |
|