No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15000-15004 |
LiteracyAttribute est un attribut de AutonomousAgent AutonomousAgent a la capacit� de faire lire AutonomousAgent a la capacit� de faire �crire |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1357-1361 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22193-22197 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 59-63 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 634-638 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 643-645 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 392-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 396-398 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 400-402 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 424-426 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 404-406 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 412-414 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 408-410 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 416-418 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 420-422 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 428-430 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 432-434 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 498-500 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 436-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1377-1379 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 440-442 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20785-20787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20929-20931 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18810-18812 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1414-1417 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |