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 |