No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20804-20805 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20802-20802 |
域 constructionPeriod, 1 and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20803-20803 |
域 constructionPeriod, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20801-20801 |
例 constructionPeriod and BinaryPredicate |