No TPTP formula. May not be expressible in strict first order. |
Media.kif 2064-2067 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2069-2069 |
域 exactCardinality, 1 and Relation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2070-2070 |
域 exactCardinality, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2071-2071 |
域 exactCardinality, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2068-2068 |
例 exactCardinality and TernaryPredicate |