|
|
   InheritableRelation
|
|
|
| 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 2571-2573 | |
| 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 2569-2569 | 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 3415-3415 | Binary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3495-3495 | Binary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2244-2244 | Binary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2412-2412 | Case role is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3366-3366 | Function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2681-2681 | Intentional relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2720-2720 | Object attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3355-3355 | Predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2576-2576 | Probability relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2707-2707 | Propositional attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3478-3478 | Quaternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3517-3517 | Quaternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | Quaternary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3528-3528 | Quintary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2882-2882 | Quintary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3549-3549 | Relation extended to quantities is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2188-2188 | Single valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2668-2668 | Spatial relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2675-2675 | Temporal relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3467-3467 | Ternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3506-3506 | Ternary predicate is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | Ternary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2206-2206 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3375-3375 | Unary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30102-30102 | 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 |
|
|
|
|