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

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