No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6497-6499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6495-6495 |
域 共軛, 1 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6496-6496 |
域 共軛, 2 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6490-6490 |
例 共軛 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6491-6491 |
例 共軛 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6494-6494 |
例 共軛 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6492-6492 |
例 共軛 and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6493-6493 |
例 共軛 and TransitiveRelation |