TotalValuedRelation(total valued relation) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5465-5465 | Relative complement is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17228-17228 | Relative time is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5169-5169 | Round is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5188-5188 | Signum is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5210-5210 | Sine is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6655-6655 | Speed is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24471-24471 | String concatenate fn is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24444-24444 | String length fn is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4725-4725 | Subtraction is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5300-5300 | Successor is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5230-5230 | Tangent is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9372-9372 | Temporal composition is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5428-5428 | Union is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6610-6610 | Unit fn is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6667-6667 | Velocity is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7791-7791 | Wealth is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8467-8467 | When is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4221-4221 | Where is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8554-8554 | Year is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16348-16348 | ancestor is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17866-17866 | angular measure is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17946-17946 | approximate diameter is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | attribute is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 209-209 | caliber is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10991-10991 | changes location is an instance of total valued relation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |