No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24420-24432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24416-24416 |
域 SubstringFn, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24417-24417 |
域 SubstringFn, 2 and NonnegativeInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24418-24418 |
域 SubstringFn, 3 and NonnegativeInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24414-24414 |
例 SubstringFn and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24415-24415 |
例 SubstringFn and SingleValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24413-24413 |
例 SubstringFn and TernaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24419-24419 |
範圍 SubstringFn and SymbolicString |