TotalValuedRelation(total valued relation)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8527-8527 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8496-8496 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 9828-9828 Mereological difference is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9807-9807 Mereological product is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9785-9785 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 8478-8478 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 16878-16878 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 4962-4962 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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners