No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4750-4750 |
砖 是 板或块 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1266-1266 |
WaterBoard 是 板或块 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11441-11441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11440-11440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11439-11439 |
|