Organism(organism) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10463-10470 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10136-10141 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2118-2127 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15141-15146 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 795-802 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2067-2074 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2519-2534 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23988-23990 |
|