(instance HoleHostFn UnaryFunction)	Merge.kif 9924-9924
(instance HoleSkinFn UnaryFunction)	Merge.kif 10065-10065
(instance ImaginaryPartFn UnaryFunction)	Merge.kif 4906-4906
(instance ImmediateFamilyFn UnaryFunction)	Merge.kif 16283-16283
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8526-8526
(instance ImmediatePastFn UnaryFunction)	Merge.kif 8495-8495
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18217-18217
(instance ImpairmentFn UnaryFunction)	Merge.kif 13466-13466
(instance InflammationFn UnaryFunction)	Mid-level-ontology.kif 12408-12408
(instance InitialNodeFn UnaryFunction)	Merge.kif 5920-5920
(instance InitialProfileFn UnaryFunction)	QoSontology.kif 1311-1311
(instance InjuryCausedFn UnaryFunction)	Medicine.kif 396-396
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795
(instance IntegerSquareRootFn UnaryFunction)	Merge.kif 4921-4921
(instance JudiciaryFn UnaryFunction)	Government.kif 2137-2137
(instance JuiceOfFn UnaryFunction)	Food.kif 2598-2598
(instance LastFn UnaryFunction)	Merge.kif 3205-3205
(instance LegislatureFn UnaryFunction)	Government.kif 2035-2035
(instance ListLengthFn UnaryFunction)	Merge.kif 3012-3012
(instance ListSumFn UnaryFunction)	Merge.kif 3239-3239
(instance LyricalComponentFn UnaryFunction)	Music.kif 912-912
(instance MakingFn UnaryFunction)	Merge.kif 18370-18370
(instance MaleToFemaleRatioFn UnaryFunction)	People.kif 191-191
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 780-780
(instance MaritimeContiguousZoneFn UnaryFunction)	Geography.kif 1042-1042
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