No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21535-21535 |
ClosingContract est une sous-classe de investir |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13279-13279 |
Offering est une sous-classe de investir |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 756-756 |
Reserving est une sous-classe de investir |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3117-3117 |
SigningAnAgreement est une sous-classe de investir |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 848-848 |
Threatening est une sous-classe de investir |
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 |
|