No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2324-2325 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 756-756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1079-1079 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2323-2323 |
Stove e' uma sub-classe de HeatingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2268-2268 |
Stove e' uma sub-classe de MajorAppliance |