|
|
   TotalValuedRelation
|
|
|
| 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 4762-4762 | 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 4712-4712 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5259-5259 | Arccosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5269-5269 | Arcsine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5249-5249 | Arctangent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8017-8017 | Begin is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | Begin node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | Ceiling is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7661-7661 | Center of circle is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5477-5477 | Complement is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | Cosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4810-4810 | Denominator is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6644-6644 | Density is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4932-4932 | Diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8045-8045 | End is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5953-5953 | End node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4819-4819 | Exponentiation is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4828-4828 | Floor is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8546-8546 | Future is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5498-5498 | Generalized intersection is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5487-5487 | Generalized union is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6054-6054 | Graph path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4908-4908 | Imaginary part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16355-16355 | 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 |
|
|
|