No TPTP formula. May not be expressible in strict first order.	Merge.kif 5466-5466	Relative complement is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17299-17299	Relative time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5170-5170	Round is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5189-5189	Signum is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5211-5211	Sine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6656-6656	Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24528-24528	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 24501-24501	String length fn is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4726-4726	Subtraction is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5301-5301	Successor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5231-5231	Tangent is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9408-9408	Temporal composition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5429-5429	Union is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6611-6611	Unit fn is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6668-6668	Velocity is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7827-7827	Wealth is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8503-8503	When is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4222-4222	Where is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	Year is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16419-16419	ancestor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17945-17945	angular measure is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17973-17973	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 11025-11025	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

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