No TPTP formula. May not be expressible in strict first order. |
Media.kif 2189-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2193-2193 |
域 maxCardinality, 1 and Relation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2194-2194 |
域 maxCardinality, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2195-2195 |
域 maxCardinality, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2192-2192 |
例 maxCardinality and TernaryPredicate |