AlphabeticCharacter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19494-19495 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8844-8844 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8846-8846 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8330-8330 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8849-8849 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8850-8850 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8848-8848 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19493-19493 | Alphabetic character is a subclass of character |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19501-19501 | Consonant is a subclass of alphabetic character |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19505-19505 | Vowel is a subclass of alphabetic character |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6984-6984 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6983-6983 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6982-6982 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27284-27288 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2904-2909 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2941-2948 |
|