Vowel
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19506-19507 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6965-6965 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8243-8243 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19505-19505 | Vowel is a subclass of alphabetic character |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62003-62003 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62002-62002 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62001-62001 |