| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18354-18357 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18352-18352 | 域子類 ImpairedBodyPartFn, 1 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18351-18351 | 例 ImpairedBodyPartFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18353-18353 | 範圍 ImpairedBodyPartFn and DiseaseOrSyndrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65044-65044 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18359-18369 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1316-1328 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 686-703 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1362-1369 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1644-1655 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3434-3445 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1870-1879 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1853-1863 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2301-2306 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2314-2319 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2360-2365 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2267-2272 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2286-2294 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2236-2241 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2403-2408 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2391-2396 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2344-2352 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5717-5721 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1287 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1706-1712 |
|
|
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