No TPTP formula. May not be expressible in strict first order. | Merge.kif 15046-15046 | Egg is a subclass of reproductive body |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15047-15047 | Egg is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | Egg is a subclass of meat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24071-24071 | Bird egg is a subclass of egg |
![]() |