No TPTP formula. May not be expressible in strict first order. |
Media.kif 3282-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3279-3279 |
域 keyName, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3280-3280 |
域 keyName, 2 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3276-3276 |
例 keyName and AntisymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3275-3275 |
例 keyName and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3278-3278 |
例 keyName and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3277-3277 |
例 keyName and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3281-3281 |
子關係 keyName and subString |