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 17250-17250	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 24470-24470	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 24443-24443	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 9394-9394	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 7813-7813	Wealth is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8489-8489	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 8576-8576	Year is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16370-16370	ancestor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17888-17888	angular measure is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17945-17945	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 11013-11013	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