|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3667-3667 | FarmOfProductFn 的 1 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14858-14858 | FoodForFn 的 1 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 971-971 | 生物制剂载体 的 2 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 29-29 | connectedBodyPartTypes 的 3 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30378-30378 | habitatOfOrganism 的 1 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2001-2001 | parasitic 的 1 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2002-2002 | parasitic 的 2 数量 是 生物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 983-983 | 分泌毒素 的 1 数量 是 生物 的 subclass |
|
|
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