No TPTP formula. May not be expressible in strict first order. |
Media.kif 2152-2154 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2156-2156 |
域 minCardinality, 1 and Relation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2157-2157 |
域 minCardinality, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2158-2158 |
域 minCardinality, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2155-2155 |
例 minCardinality and TernaryPredicate |