No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18129-18131 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18126-18126 |
域 相反的方向, 1 and PositionalAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18127-18127 |
域 相反的方向, 2 and PositionalAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18123-18123 |
例 相反的方向 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18125-18125 |
例 相反的方向 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18124-18124 |
例 相反的方向 and SymmetricRelation |