No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13379-13379 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13378-13378 |
defaultMinimumWidth 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13377-13377 |
defaultMinimumWidth 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13376-13376 |
defaultMinimumWidth 是 二元谓语 的 instance |