No TPTP formula. May not be expressible in strict first order.	Food.kif 3667-3667	域子類 FarmOfProductFn, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14858-14858	域子類 FoodForFn, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 971-971	域子類 生物製劑載體, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 29-29	域子類 connectedBodyPartTypes, 3 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30378-30378	域子類 habitatOfOrganism, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2001-2001	域子類 parasitic, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2002-2002	域子類 parasitic, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 983-983	域子類 分泌毒素, 1 and 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