documentation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2132-2138 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2123-2130 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2148-2154 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2162-2163 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2159-2160 | |
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. | ComputingBrands.kif 2165-2167 | |
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 12817-12818 | |
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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |