(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5465-5465
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17228-17228
(instance RoundFn TotalValuedRelation)	Merge.kif 5169-5169
(instance SignumFn TotalValuedRelation)	Merge.kif 5188-5188
(instance SineFn TotalValuedRelation)	Merge.kif 5210-5210
(instance SpeedFn TotalValuedRelation)	Merge.kif 6655-6655
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 24471-24471
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24444-24444
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4725-4725
(instance SuccessorFn TotalValuedRelation)	Merge.kif 5300-5300
(instance TangentFn TotalValuedRelation)	Merge.kif 5230-5230
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9372-9372
(instance UnionFn TotalValuedRelation)	Merge.kif 5428-5428
(instance UnitFn TotalValuedRelation)	Merge.kif 6610-6610
(instance VelocityFn TotalValuedRelation)	Merge.kif 6667-6667
(instance WealthFn TotalValuedRelation)	Merge.kif 7791-7791
(instance WhenFn TotalValuedRelation)	Merge.kif 8467-8467
(instance WhereFn TotalValuedRelation)	Merge.kif 4221-4221
(instance YearFn TotalValuedRelation)	Merge.kif 8554-8554
(instance ancestor TotalValuedRelation)	Merge.kif 16348-16348
(instance angularMeasure TotalValuedRelation)	Merge.kif 17866-17866
(instance approximateDiameter TotalValuedRelation)	Mid-level-ontology.kif 17946-17946
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209
(instance changesLocation TotalValuedRelation)	Merge.kif 10991-10991
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