| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18299-18302 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18297-18297 | O argumento numero 1 de ImpairedBodyPartFn e' uma sub-classe de Parte do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18296-18296 | ImpairedBodyPartFn e' uma instancia de funcao Unaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18298-18298 | O contra-dominio de ImpairedBodyPartFn e' uma instancia de Doenca ou Sindrome |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65023-65023 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18304-18314 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1328-1340 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1374-1381 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1645-1656 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3449-3460 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1882-1891 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1865-1875 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2316-2321 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2329-2334 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2375-2380 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2282-2287 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2301-2309 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2251-2256 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2418-2423 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2406-2411 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2359-2367 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5732-5736 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1294-1299 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1718-1724 |
|
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