Organism(生物) |
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 14880-14880 | 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 30366-30366 | 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 |