No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21508-21508 |
合同终止 是 承诺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13233-13233 |
提供 是 承诺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 756-756 |
Reserving 是 承诺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3117-3117 |
签署协议 是 承诺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 855-855 |
危险的 是 承诺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1203-1203 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1623-1623 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 881-881 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2565-2565 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 833-833 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 453-453 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 902-902 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 418-418 |
|