| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2007-2007 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3455-3456 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 645-646 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3451-3451 | Ternary function is a subclass of function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3453-3453 | Ternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3452-3452 | Ternary function is a subclass of quaternary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2455-2455 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2454-2454 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2453-2453 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 838-838 | Musical interpretation is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3161-3161 | Sub-list function is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24733-24733 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 923-923 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1053-1053 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 599-599 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 129-129 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 132-132 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2284-2284 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 551-551 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 166-166 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 620-620 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 133-133 | Substring fn is an instance of ternary function |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3458-3460 |
|
|
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