| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1823-1826 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2197-2201 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 442-445 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Total valued relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | Absolute value is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | Acceleration fn is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | Arccosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5268-5268 | Arcsine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | Arctangent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | Begin is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5941-5941 | Begin node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4782-4782 | Ceiling is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7638-7638 | Center of circle is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5476-5476 | Complement is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4800-4800 | Cosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4809-4809 | Denominator is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6643-6643 | Density is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4920-4920 | Diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8009-8009 | End is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5952-5952 | End node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4818-4818 | Exponentiation is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4827-4827 | Floor is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8510-8510 | Future is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5497-5497 | Generalized intersection is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5486-5486 | Generalized union is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6053-6053 | Graph path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4907-4907 | Imaginary part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16254-16254 | Immediate family is an instance of total valued relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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