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 |
域 成就, 1 and Game |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1660-1660 |
域 成就, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1661-1661 |
域 成就, 3 and Abstract |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
例 成就 and TernaryPredicate |