![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 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 19473-19473 | Consonant is a subclass of alphabetic character |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19477-19477 | 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. | 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 |
|
![]() |
![]() |