(instance ShipBerthingFn UnaryFunction)	Transportation.kif 3023-3023	ShipBerthingFn ist ein fall von UnaryFunction %n{nicht}
(instance ShipCrewFn UnaryFunction)	Transportation.kif 3270-3270	ShipCrewFn ist ein fall von UnaryFunction %n{nicht}
(instance ShipRegisterFn UnaryFunction)	Transportation.kif 1132-1132	ShipRegisterFn ist ein fall von UnaryFunction %n{nicht}
(instance ShortageFn UnaryFunction)	Geography.kif 2886-2886	ShortageFn ist ein fall von UnaryFunction %n{nicht}
(instance ShutdownFn UnaryFunction)	QoSontology.kif 440-440	ShutdownFn ist ein fall von UnaryFunction %n{nicht}
(instance SignumFn UnaryFunction)	Merge.kif 5187-5187	SignumFn ist ein fall von UnaryFunction %n{nicht}
(instance SineFn UnaryFunction)	Merge.kif 5209-5209	SineFn ist ein fall von UnaryFunction %n{nicht}
(instance SiteSpeedFn UnaryFunction)	UXExperimentalTerms.kif 3745-3745	SiteSpeedFn ist ein fall von UnaryFunction %n{nicht}
(instance SquareRootFn UnaryFunction)	Merge.kif 5218-5218	SquareRootFn ist ein fall von UnaryFunction %n{nicht}
(instance SquareUnitFn UnaryFunction)	Geography.kif 3963-3963	SquareUnitFn ist ein fall von UnaryFunction %n{nicht}
(instance StandardDeviationFn UnaryFunction)	Weather.kif 1500-1500	StandardDeviationFn ist ein fall von UnaryFunction %n{nicht}
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 420-420	StartFn ist ein fall von UnaryFunction %n{nicht}
(instance StartupFn UnaryFunction)	QoSontology.kif 400-400	StartupFn ist ein fall von UnaryFunction %n{nicht}
(instance StopFn UnaryFunction)	Mid-level-ontology.kif 434-434	StopFn ist ein fall von UnaryFunction %n{nicht}
(instance StringLengthFn UnaryFunction)	Mid-level-ontology.kif 24442-24442	StringLengthFn ist ein fall von UnaryFunction %n{nicht}
(instance SuccessorFn UnaryFunction)	Merge.kif 5299-5299	SuccessorFn ist ein fall von UnaryFunction %n{nicht}
(instance SupremeCourtFn UnaryFunction)	Government.kif 2178-2178	SupremeCourtFn ist ein fall von UnaryFunction %n{nicht}
(instance TangentFn UnaryFunction)	Merge.kif 5229-5229	TangentFn ist ein fall von UnaryFunction %n{nicht}
(instance TerminalNodeFn UnaryFunction)	Merge.kif 5930-5930	TerminalNodeFn ist ein fall von UnaryFunction %n{nicht}
(instance TerritorialSeaFn UnaryFunction)	Geography.kif 1221-1221	TerritorialSeaFn ist ein fall von UnaryFunction %n{nicht}
(instance TransitFn UnaryFunction)	Transportation.kif 1602-1602	TransitFn ist ein fall von UnaryFunction %n{nicht}
(instance TransportationFn UnaryFunction)	Transportation.kif 1565-1565	TransportationFn ist ein fall von UnaryFunction %n{nicht}
(instance TreatedUsersFn UnaryFunction)	UXExperimentalTerms.kif 4272-4272	TreatedUsersFn ist ein fall von UnaryFunction %n{nicht}
(instance TripFn UnaryFunction)	Transportation.kif 1582-1582	TripFn ist ein fall von UnaryFunction %n{nicht}
(instance UnitFn UnaryFunction)	Merge.kif 6609-6609	UnitFn ist ein fall von UnaryFunction %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