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 |
The number 1 argument of achievement is an instance of game |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1660-1660 |
The number 2 argument of achievement is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1661-1661 |
The number 3 argument of achievement is an instance of abstract |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
achievement is an instance of ternary predicate |