|
|
   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 2184-2188 | |
| 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 2182-2182 | Total valued relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2181-2181 | 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 4747-4747 | 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 4697-4697 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5244-5244 | Arccosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5254-5254 | Arcsine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5234-5234 | Arctangent is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7967-7967 | Begin is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5927-5927 | Begin node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4768-4768 | Ceiling is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7624-7624 | Center of circle is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5462-5462 | Complement is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4786-4786 | Cosine is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4795-4795 | Denominator is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6629-6629 | Density is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4915-4915 | Diameter is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7995-7995 | End is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5938-5938 | End node is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4804-4804 | Exponentiation is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4813-4813 | Floor is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8494-8494 | Future is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5483-5483 | Generalized intersection is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5472-5472 | Generalized union is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6039-6039 | Graph path is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4893-4893 | Imaginary part is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16168-16168 | 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 |
|
|
|