| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2008-2009 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3465-3466 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 647-648 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3461-3461 | Quaternary function is a subclass of function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3463-3463 | Quaternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3462-3462 | Quaternary function is a subclass of quintary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2087-2087 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2086-2086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2085-2085 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1278-1278 | Acceleration fn is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1014-1014 | Sellers other items is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7662-7662 | Street address is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6676-6676 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 924-924 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1055-1055 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 600-600 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 130-130 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 133-133 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2285-2285 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 552-552 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 167-167 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 426-426 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 621-621 | Velocity is an instance of quaternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 134-134 | Velocity is an instance of quaternary function |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3468-3470 |
|
|
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