| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3366-3368 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14354-14357 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14344-14344 | Le nombre 1 argument de developmentalForm est une instance de objet organique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14345-14345 | Le nombre 2 argument de developmentalForm est une instance de attribut de d�vellopement |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14341-14341 | developmentalForm est une instance de relation asym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14340-14340 | developmentalForm est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14342-14342 | developmentalForm est une instance de relation transitive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14343-14343 | developmentalForm est une sous-relation de attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 519-519 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 307-307 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 72-72 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2075-2075 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 674-674 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 106-106 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19326-19326 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 520-520 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19325-19325 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19324-19324 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 161-161 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14359-14366 |
|
| consequent |
|
|
|
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