|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12337-12337 | %每个 SalivaryGland 是 口 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1523-1523 | %每个 SemolinaFlour 是 DurumWheatGrain 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10835-10835 | %每个 ShinMuscle 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 216-216 | %每个 ShoulderGirdleBone 是 肩 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2101-2101 | %每个 Shrapnel 是 炸弹 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4140-4140 | %每个 高粱粒 是 高粱 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4566-4566 | %每个 SoybeanOil 是 黄豆 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1530-1530 | %每个 SpeltFlour 是 SpeltWheatGrain 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4572-4572 | %每个 SunFlowerOil 是 向日葵 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1553-1553 | %每个 TapiocaStarch 是 木薯 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4549-4549 | %每个 TeaTreeOil 是 茶树 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10820-10820 | %每个 ThighMuscle 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 249-249 | %每个 ThoraxBone 是 躯干 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10815-10815 | %每个 Tricep 是 臂 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10862-10862 | %每个 UpperArm 是 臂 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10867-10867 | %每个 UpperLeg 是 腿 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 786-786 | %每个 VocalCords 是 人类 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 797-797 | %每个 VocalFold 是 VocalCords 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1490-1490 | %每个 WheatFlour 是 小麦籽粒 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | %每个 WristBone 是 手 的 initially part |
|
|
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