No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9473-9473 | Plant branch is a subclass of plant anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9474-9474 | Plant branch is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9489-9489 | Tree branch is a subclass of plant branch |