| 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 | Every finger bone is initially part of a hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | Finger bone is a subclass of arm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | Finger bone is a subclass of Phalanx |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | Left distal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | Left distal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | Left distal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | Left distal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | Left distal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | Left intermediate phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | Left intermediate phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | Left intermediate phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | Left intermediate phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | Left proximal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | Left proximal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | Left proximal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | Left proximal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | Left proximal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | Right distal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | Right distal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | Right distal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | Right distal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | Right distal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | Right intermediate phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | Right intermediate phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | Right intermediate phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | Right intermediate phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | Right proximal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | Right proximal phalanx II bone is a subclass of finger bone |
| 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 is exhaustively partitioned into toe bone and finger bone |
|
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