EnglishLanguage(english language) |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3124-3124 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 694-694 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3136-3136 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 606-606 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 777-777 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 662-662 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 475-475 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3168-3168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 686-686 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 690-690 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30622-30622 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 696-696 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 660-660 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18331-18331 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18395-18395 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 718-718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 734-734 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 754-754 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 688-688 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 786-786 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9981-9981 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 564-564 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 842-842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 893-893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 897-897 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |