No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21322-21323 |
|
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 21320-21320 |
subField Electronics and Engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21319-21319 |
subField Electronics and Physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21321-21321 |
Electronics e' uma sub-classe de Campo de Estudos |