No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3040-3041 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2247-2247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1833-1833 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3039-3039 |
Lightning e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 422-422 |
Lightning e' uma sub-classe de Spark |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3038-3038 |
Lightning e' uma sub-classe de WeatherProcess |