(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5432-5432
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17079-17079
(instance RoundFn TotalValuedRelation)	Merge.kif 5136-5136
(instance SignumFn TotalValuedRelation)	Merge.kif 5155-5155
(instance SineFn TotalValuedRelation)	Merge.kif 5177-5177
(instance SpeedFn TotalValuedRelation)	Merge.kif 6622-6622
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 24362-24362
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24335-24335
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4696-4696
(instance SuccessorFn TotalValuedRelation)	Merge.kif 5267-5267
(instance TangentFn TotalValuedRelation)	Merge.kif 5197-5197
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9337-9337
(instance UnionFn TotalValuedRelation)	Merge.kif 5395-5395
(instance UnitFn TotalValuedRelation)	Merge.kif 6577-6577
(instance VelocityFn TotalValuedRelation)	Merge.kif 6634-6634
(instance WealthFn TotalValuedRelation)	Merge.kif 7758-7758
(instance WhenFn TotalValuedRelation)	Merge.kif 8432-8432
(instance WhereFn TotalValuedRelation)	Merge.kif 4198-4198
(instance YearFn TotalValuedRelation)	Merge.kif 8519-8519
(instance ancestor TotalValuedRelation)	Merge.kif 16198-16198
(instance angularMeasure TotalValuedRelation)	Merge.kif 17708-17708
(instance approximateDiameter TotalValuedRelation)	Mid-level-ontology.kif 17766-17766
(instance attribute TotalValuedRelation)	Merge.kif 1694-1694
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209
(instance changesLocation TotalValuedRelation)	Merge.kif 10925-10925
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