No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1646-1649 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1641-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1634-1640 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1651-1656 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1659-1659 |
Le nombre 1 argument de achievement est une instance de jeu |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1660-1660 |
Le nombre 2 argument de achievement est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1661-1661 |
Le nombre 3 argument de achievement est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
achievement est une instance de pr�dicat ternaire |