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 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 |
|
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 14959-14962 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |