No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14999-15003 |
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 1358-1362 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22192-22196 |
|
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 1378-1380 |
|
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 20784-20786 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20928-20930 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18809-18811 |
|
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 |