(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5465-5465	Relative complement is an instance of total valued relation
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17228-17228	Relative time is an instance of total valued relation
(instance RoundFn TotalValuedRelation)	Merge.kif 5169-5169	Round is an instance of total valued relation
(instance SignumFn TotalValuedRelation)	Merge.kif 5188-5188	Signum is an instance of total valued relation
(instance SineFn TotalValuedRelation)	Merge.kif 5210-5210	Sine is an instance of total valued relation
(instance SpeedFn TotalValuedRelation)	Merge.kif 6655-6655	Speed is an instance of total valued relation
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 24471-24471	String concatenate fn is an instance of total valued relation
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24444-24444	String length fn is an instance of total valued relation
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4725-4725	Subtraction is an instance of total valued relation
(instance SuccessorFn TotalValuedRelation)	Merge.kif 5300-5300	Successor is an instance of total valued relation
(instance TangentFn TotalValuedRelation)	Merge.kif 5230-5230	Tangent is an instance of total valued relation
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9372-9372	Temporal composition is an instance of total valued relation
(instance UnionFn TotalValuedRelation)	Merge.kif 5428-5428	Union is an instance of total valued relation
(instance UnitFn TotalValuedRelation)	Merge.kif 6610-6610	Unit fn is an instance of total valued relation
(instance VelocityFn TotalValuedRelation)	Merge.kif 6667-6667	Velocity is an instance of total valued relation
(instance WealthFn TotalValuedRelation)	Merge.kif 7791-7791	Wealth is an instance of total valued relation
(instance WhenFn TotalValuedRelation)	Merge.kif 8467-8467	When is an instance of total valued relation
(instance WhereFn TotalValuedRelation)	Merge.kif 4221-4221	Where is an instance of total valued relation
(instance YearFn TotalValuedRelation)	Merge.kif 8554-8554	Year is an instance of total valued relation
(instance ancestor TotalValuedRelation)	Merge.kif 16348-16348	ancestor is an instance of total valued relation
(instance angularMeasure TotalValuedRelation)	Merge.kif 17866-17866	angular measure is an instance of total valued relation
(instance approximateDiameter TotalValuedRelation)	Mid-level-ontology.kif 17946-17946	approximate diameter is an instance of total valued relation
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	attribute is an instance of total valued relation
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209	caliber is an instance of total valued relation
(instance changesLocation TotalValuedRelation)	Merge.kif 10991-10991	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