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 |
Electronics is a sub-field of engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21319-21319 |
Electronics is a sub-field of physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21321-21321 |
Electronics is a subclass of field of study |