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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners