|
|
   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 est une sous-classe de AlphabeticCharacter |
| 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 |
|
|
|
