No TPTP formula. May not be expressible in strict first order. | Merge.kif 14430-14430 | Non flowering plant is a subclass of plant |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14436-14436 | Alga is a subclass of non flowering plant |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14459-14459 | Moss is a subclass of non flowering plant |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14463-14463 | Fern is a subclass of non flowering plant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6322-6322 | Lichen is a subclass of non flowering plant |
![]() |