No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13662-13664 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13652-13653 |
|
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 13661-13661 |
CubicFoot e' uma instancia de UnitOfVolume |