part |
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 |