No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31725-31726 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31723-31723 |
域 OrganismPopulationFn, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31724-31724 |
域 OrganismPopulationFn, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31722-31722 |
例 OrganismPopulationFn and BinaryFunction |