| 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 2193-2197 | |
| 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 2191-2191 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2190-2190 | 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 4774-4774 | 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 4724-4724 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5271-5271 | Arccosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5281-5281 | Arcsine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5261-5261 | Arctangent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8051-8051 | Begin is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5951-5951 | Begin node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4795-4795 | Ceiling is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7692-7692 | Center of circle is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5486-5486 | Complement is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4813-4813 | Cosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4822-4822 | Denominator is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6653-6653 | Density is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5585-5585 | Diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8079-8079 | End is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5962-5962 | End node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4831-4831 | Exponentiation is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4840-4840 | Floor is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8608-8608 | Future is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | Generalized intersection is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5496-5496 | Generalized union is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6063-6063 | Graph path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4920-4920 | Imaginary part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16444-16444 | 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