(instance RelativeComplementFn TotalValuedRelation)	Merge.kif 5465-5465	RelativeComplementFn ist ein fall von TotalValuedRelation %n{nicht}
(instance RelativeTimeFn TotalValuedRelation)	Merge.kif 17250-17250	RelativeTimeFn ist ein fall von TotalValuedRelation %n{nicht}
(instance RoundFn TotalValuedRelation)	Merge.kif 5169-5169	RoundFn ist ein fall von TotalValuedRelation %n{nicht}
(instance SignumFn TotalValuedRelation)	Merge.kif 5188-5188	SignumFn ist ein fall von TotalValuedRelation %n{nicht}
(instance SineFn TotalValuedRelation)	Merge.kif 5210-5210	SineFn ist ein fall von TotalValuedRelation %n{nicht}
(instance SpeedFn TotalValuedRelation)	Merge.kif 6655-6655	SpeedFn ist ein fall von TotalValuedRelation %n{nicht}
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 24470-24470	StringConcatenateFn ist ein fall von TotalValuedRelation %n{nicht}
(instance StringLengthFn TotalValuedRelation)	Mid-level-ontology.kif 24443-24443	StringLengthFn ist ein fall von TotalValuedRelation %n{nicht}
(instance SubtractionFn TotalValuedRelation)	Merge.kif 4725-4725	SubtractionFn ist ein fall von TotalValuedRelation %n{nicht}
(instance SuccessorFn TotalValuedRelation)	Merge.kif 5300-5300	SuccessorFn ist ein fall von TotalValuedRelation %n{nicht}
(instance TangentFn TotalValuedRelation)	Merge.kif 5230-5230	TangentFn ist ein fall von TotalValuedRelation %n{nicht}
(instance TemporalCompositionFn TotalValuedRelation)	Merge.kif 9394-9394	TemporalCompositionFn ist ein fall von TotalValuedRelation %n{nicht}
(instance UnionFn TotalValuedRelation)	Merge.kif 5428-5428	UnionFn ist ein fall von TotalValuedRelation %n{nicht}
(instance UnitFn TotalValuedRelation)	Merge.kif 6610-6610	UnitFn ist ein fall von TotalValuedRelation %n{nicht}
(instance VelocityFn TotalValuedRelation)	Merge.kif 6667-6667	VelocityFn ist ein fall von TotalValuedRelation %n{nicht}
(instance WealthFn TotalValuedRelation)	Merge.kif 7813-7813	WealthFn ist ein fall von TotalValuedRelation %n{nicht}
(instance WhenFn TotalValuedRelation)	Merge.kif 8489-8489	WhenFn ist ein fall von TotalValuedRelation %n{nicht}
(instance WhereFn TotalValuedRelation)	Merge.kif 4221-4221	WoFn ist ein fall von TotalValuedRelation %n{nicht}
(instance YearFn TotalValuedRelation)	Merge.kif 8576-8576	YearFn ist ein fall von TotalValuedRelation %n{nicht}
(instance ancestor TotalValuedRelation)	Merge.kif 16370-16370	ancestor ist ein fall von TotalValuedRelation %n{nicht}
(instance angularMeasure TotalValuedRelation)	Merge.kif 17888-17888	angularMeasure ist ein fall von TotalValuedRelation %n{nicht}
(instance approximateDiameter TotalValuedRelation)	Mid-level-ontology.kif 17945-17945	approximateDiameter ist ein fall von TotalValuedRelation %n{nicht}
(instance attribute TotalValuedRelation)	Merge.kif 1717-1717	attribut ist ein fall von TotalValuedRelation %n{nicht}
(instance caliber TotalValuedRelation)	MilitaryDevices.kif 209-209	caliber ist ein fall von TotalValuedRelation %n{nicht}
(instance changesLocation TotalValuedRelation)	Merge.kif 11013-11013	changesLocation ist ein fall von TotalValuedRelation %n{nicht}
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