No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14491-14493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3226-3226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3227-3227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3007-3007 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14489-14489 |
Test form is a subclass of form text |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14490-14490 |
Test form is a subclass of measuring device |