No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13634-13636 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13624-13625 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10766-10766 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9964-9964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13633-13633 |
CubicFoot e' uma instancia de UnitOfVolume |