AlphabeticCharacter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19466-19467 | |
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 19465-19465 | AlphabeticCharacter e' uma sub-classe de Caracter |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19473-19473 | Consonant e' uma sub-classe de AlphabeticCharacter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19477-19477 | Vowel e' uma sub-classe de AlphabeticCharacter |
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. | Media.kif 3041-3045 | |
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 |
|