| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1281-1281 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1279-1279 | ToeBone 是 FootBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1284-1284 | ToeBone 是 Phalanx 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | Phalanx 详尽无遗地 partition 成 ToeBone 和 FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1383-1383 | LeftDistalFootPhalanxIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1393-1393 | LeftDistalFootPhalanxIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1403-1403 | LeftDistalFootPhalanxIIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1413-1413 | LeftDistalFootPhalanxIVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1423-1423 | LeftDistalFootPhalanxVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1342-1342 | LeftIntermediateFootPhalanxIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1352-1352 | LeftIntermediateFootPhalanxIIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1362-1362 | LeftIntermediateFootPhalanxIVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1372-1372 | LeftIntermediateFootPhalanxVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1290-1290 | LeftProximalFootPhalanxIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1300-1300 | LeftProximalFootPhalanxIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1310-1310 | LeftProximalFootPhalanxIIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1320-1320 | LeftProximalFootPhalanxIVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1330-1330 | LeftProximalFootPhalanxVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1388-1388 | RightDistalFootPhalanxIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1398-1398 | RightDistalFootPhalanxIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1408-1408 | RightDistalFootPhalanxIIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1418-1418 | RightDistalFootPhalanxIVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1428-1428 | RightDistalFootPhalanxVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1347-1347 | RightIntermediateFootPhalanxIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1357-1357 | RightIntermediateFootPhalanxIIIBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1367-1367 | RightIntermediateFootPhalanxIVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1377-1377 | RightIntermediateFootPhalanxVBone 是 ToeBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1295-1295 | RightProximalFootPhalanxIBone 是 ToeBone 的 subclass |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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