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 |
O argumento numero 1 de achievement e' uma instancia de Jogo |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1660-1660 |
O argumento numero 2 de achievement e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1661-1661 |
O argumento numero 3 de achievement e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
achievement e' uma instancia de Predicado Ternario |