Organism(organism) |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3667-3667 | The number 1 argument of farm of product fn is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14858-14858 | The number 1 argument of food for fn is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 971-971 | The number 2 argument of biological agent carrier is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 29-29 | The number 3 argument of connectedBodyPartTypes is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30378-30378 | The number 1 argument of habitat of organism is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2001-2001 | The number 1 argument of parasitic is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2002-2002 | The number 2 argument of parasitic is a subclass of organism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 983-983 | The number 1 argument of secretes toxin is a subclass of organism |