Animal(动物) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12227-12232 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4433-4442 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 62-71 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7479-7486 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12925-12930 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11460-11468 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4892-4894 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12674-12679 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14906-14917 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 924-938 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4642-4651 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4634-4640 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5013-5024 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9254-9262 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3519-3532 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10399-10404 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6996-7003 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11661-11666 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10990-10997 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9586-9597 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7817-7824 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3566-3590 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 210-218 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12447-12456 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |