No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21294-21295 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5983-5983 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6462-6462 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6464-6464 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6463-6463 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21292-21292 |
subField Electronics and Engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21291-21291 |
subField Electronics and Physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21293-21293 |
Electronics e' uma sub-classe de Campo de Estudos |