No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | Champignon est une sous-classe de organisme |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 214-214 | FungalAgent est une sous-classe de champignon |