TestForm
|
|
appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57644-57644 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57643-57643 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57642-57642 |