| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 879-879 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | %每个 FingerBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | FingerBone 是 ArmBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | FingerBone 是 Phalanx 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | LeftDistalPhalanxIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | LeftDistalPhalanxIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | LeftDistalPhalanxIIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | LeftDistalPhalanxIVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | LeftDistalPhalanxVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | LeftIntermediatePhalanxIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | LeftIntermediatePhalanxIIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | LeftIntermediatePhalanxIVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | LeftIntermediatePhalanxVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | LeftProximalPhalanxIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | LeftProximalPhalanxIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | LeftProximalPhalanxIIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | LeftProximalPhalanxIVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | LeftProximalPhalanxVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | RightDistalPhalanxIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | RightDistalPhalanxIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | RightDistalPhalanxIIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | RightDistalPhalanxIVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | RightDistalPhalanxVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | RightIntermediatePhalanxIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | RightIntermediatePhalanxIIIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | RightIntermediatePhalanxIVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | RightIntermediatePhalanxVBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | RightProximalPhalanxIBone 是 FingerBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | RightProximalPhalanxIIBone 是 FingerBone 的 subclass |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | Phalanx 详尽无遗地 partition 成 ToeBone 和 FingerBone |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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