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 |