Animal(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 |