(instance conclusion TotalValuedRelation)	Merge.kif 16965-16965	conclusion ist ein fall von TotalValuedRelation %n{nicht}
(instance contestParticipant TotalValuedRelation)	Mid-level-ontology.kif 19706-19706	contestParticipant ist ein fall von TotalValuedRelation %n{nicht}
(instance diameter TotalValuedRelation)	Merge.kif 7694-7694	diameter ist ein fall von TotalValuedRelation %n{nicht}
(instance distance TotalValuedRelation)	Merge.kif 7715-7715	distance ist ein fall von TotalValuedRelation %n{nicht}
(instance duration TotalValuedRelation)	Merge.kif 7937-7937	duration ist ein fall von TotalValuedRelation %n{nicht}
(instance earlier TotalValuedRelation)	Merge.kif 8406-8406	earlier ist ein fall von TotalValuedRelation %n{nicht}
(instance electronNumber TotalValuedRelation)	Mid-level-ontology.kif 21734-21734	electronNumber ist ein fall von TotalValuedRelation %n{nicht}
(instance eventLocated TotalValuedRelation)	Merge.kif 4122-4122	eventLocated ist ein fall von TotalValuedRelation %n{nicht}
(instance finishes TotalValuedRelation)	Merge.kif 8104-8104	finishes ist ein fall von TotalValuedRelation %n{nicht}
(instance geometricDistance TotalValuedRelation)	Merge.kif 18052-18052	geometricDistance ist ein fall von TotalValuedRelation %n{nicht}
(instance graphPart TotalValuedRelation)	Merge.kif 5887-5887	graphPart ist ein fall von TotalValuedRelation %n{nicht}
(instance greaterThan TotalValuedRelation)	Merge.kif 1843-1843	groesserAls ist ein fall von TotalValuedRelation %n{nicht}
(instance larger TotalValuedRelation)	Merge.kif 7787-7787	larger ist ein fall von TotalValuedRelation %n{nicht}
(instance lineMeasure TotalValuedRelation)	Merge.kif 18044-18044	lineMeasure ist ein fall von TotalValuedRelation %n{nicht}
(instance located TotalValuedRelation)	Merge.kif 4073-4073	befindetSich ist ein fall von TotalValuedRelation %n{nicht}
(instance manner TotalValuedRelation)	Merge.kif 1729-1729	weise ist ein fall von TotalValuedRelation %n{nicht}
(instance maximumPayloadCapacity TotalValuedRelation)	MilitaryDevices.kif 79-79	maximumPayloadCapacity ist ein fall von TotalValuedRelation %n{nicht}
(instance maximumPayloadHeightWidth TotalValuedRelation)	MilitaryDevices.kif 107-107	maximumPayloadHeightWidth ist ein fall von TotalValuedRelation %n{nicht}
(instance meetsTemporally TotalValuedRelation)	Merge.kif 8361-8361	meetsTemporally ist ein fall von TotalValuedRelation %n{nicht}
(instance moves TotalValuedRelation)	Merge.kif 11012-11012	moves ist ein fall von TotalValuedRelation %n{nicht}
(instance parent TotalValuedRelation)	Merge.kif 16435-16435	parent ist ein fall von TotalValuedRelation %n{nicht}
(instance partlyLocated TotalValuedRelation)	Merge.kif 4045-4045	befindetSichTeils ist ein fall von TotalValuedRelation %n{nicht}
(instance path TotalValuedRelation)	Merge.kif 11105-11105	path ist ein fall von TotalValuedRelation %n{nicht}
(instance personTransportCapability TotalValuedRelation)	MilitaryDevices.kif 69-69	personTransportCapability ist ein fall von TotalValuedRelation %n{nicht}
(instance premise TotalValuedRelation)	Merge.kif 16941-16941	premise 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