No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24170-24170 |
不相交的關係 祖先組織 and 子組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24162-24163 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24168-24168 |
域 祖先組織, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24169-24169 |
域 祖先組織, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24164-24164 |
例 祖先組織 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24166-24166 |
例 祖先組織 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24167-24167 |
例 祖先組織 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24165-24165 |
例 祖先組織 and TransitiveRelation |