Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12205-12210 | |
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 7480-7487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12903-12908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11438-11446 | |
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 12675-12680 | |
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 14884-14895 | |
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 9255-9263 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3511-3524 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10377-10382 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6997-7004 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11662-11667 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10991-10998 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9587-9598 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7818-7825 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3558-3582 |
|
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 12448-12457 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |