EnglishLanguage(english language) |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2156-2158 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6422-6424 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6462-6467 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6413-6418 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6485-6487 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6440-6444 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2564-2567 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3772-3774 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4946-4949 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 523-525 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1213-1213 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1210-1210 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3853-3862 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12818-12819 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1275-1277 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1616-1616 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2152-2152 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2134-2134 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1587-1587 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1541-1541 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1596-1596 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2924-2932 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3778-3783 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14551-14553 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14937-14940 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |