No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8462-8462 |
Library est une sous-classe de �cole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8492-8492 |
Museum est une sous-classe de �cole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16652-16652 |
School est une sous-classe de �cole |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1071-1071 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1353-1353 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 749-749 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 281-281 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 284-284 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2433-2433 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 701-701 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 320-320 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 770-770 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 285-285 |
|