TotalValuedRelation(total valued relation) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8549-8549 | Immediate future is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8518-8518 | Immediate past is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5454-5454 | Intersection is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6582-6582 | Interval is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3071-3071 | List concatenate is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3013-3013 | List length is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4986-4986 | Max is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6031-6031 | Maximal weighted path is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6347-6347 | Measure is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9850-9850 | Mereological difference is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9829-9829 | Mereological product is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9807-9807 | Mereological sum is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5012-5012 | Min is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6009-6009 | Minimal weighted path is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4698-4698 | Multiplication is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5035-5035 | Numerator is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8500-8500 | Past is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6629-6629 | Per is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 796-796 | Power set is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5333-5333 | Predecessor is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16900-16900 | Premises is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2571-2571 | Probability is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4273-4273 | Property is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4956-4956 | Radius is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5069-5069 | 互相 is an instance of total valued relation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |