No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4081-4113 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1660-1668 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1285-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11219-11229 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1823-1830 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4645-4658 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4669-4682 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7545-7554 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3963-3968 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 349-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3124-3136 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1399-1415 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3993-3998 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2746-2754 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1004-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 773-782 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 756-771 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 974-984 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 951-966 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |