| 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 2143-2147 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2141-2141 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2140-2140 | 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 4671-4671 | Absolute value is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4621-4621 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5164-5164 | Arccosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5174-5174 | Arcsine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5154-5154 | Arctangent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7891-7891 | Begin is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5845-5845 | Begin node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4692-4692 | Ceiling is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7548-7548 | Center of circle is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5382-5382 | Complement is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4710-4710 | Cosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4719-4719 | Denominator is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6553-6553 | Density is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4674-4674 | Diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7919-7919 | End is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5856-5856 | End node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4728-4728 | Exponentiation is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4737-4737 | Floor is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8418-8418 | Future is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5403-5403 | Generalized intersection is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5392-5392 | Generalized union is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5963-5963 | Graph path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4817-4817 | Imaginary part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16015-16015 | 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