| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1897-1898 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2554-2556 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 523-524 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2552-2552 | Inheritable relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3395-3395 | Binary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3475-3475 | Binary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2227-2227 | Binary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2395-2395 | Case role is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3346-3346 | Function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2664-2664 | Intentional relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2703-2703 | Object attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3335-3335 | Predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2559-2559 | Probability relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2690-2690 | Propositional attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3458-3458 | Quaternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3497-3497 | Quaternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2857-2857 | Quaternary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3508-3508 | Quintary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2864-2864 | Quintary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3529-3529 | Relation extended to quantities is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2171-2171 | Single valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2651-2651 | Spatial relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2658-2658 | Temporal relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3447-3447 | Ternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3486-3486 | Ternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2850-2850 | Ternary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2189-2189 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3355-3355 | Unary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30119-30119 | Unary function is a subclass of inheritable relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 194-199 |
|
|
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