(instance HoleHostFn UnaryFunction)	Merge.kif 9924-9924	Hole host is an instance of unary function
(instance HoleSkinFn UnaryFunction)	Merge.kif 10065-10065	Hole skin is an instance of unary function
(instance ImaginaryPartFn UnaryFunction)	Merge.kif 4906-4906	Imaginary part is an instance of unary function
(instance ImmediateFamilyFn UnaryFunction)	Merge.kif 16283-16283	Immediate family is an instance of unary function
(instance ImmediateFutureFn UnaryFunction)	Merge.kif 8526-8526	Immediate future is an instance of unary function
(instance ImmediatePastFn UnaryFunction)	Merge.kif 8495-8495	Immediate past is an instance of unary function
(instance ImpairedBodyPartFn UnaryFunction)	Merge.kif 18217-18217	Impaired body part fn is an instance of unary function
(instance ImpairmentFn UnaryFunction)	Merge.kif 13466-13466	Impairment is an instance of unary function
(instance InflammationFn UnaryFunction)	Mid-level-ontology.kif 12408-12408	Inflammation is an instance of unary function
(instance InitialNodeFn UnaryFunction)	Merge.kif 5920-5920	Initial node is an instance of unary function
(instance InitialProfileFn UnaryFunction)	QoSontology.kif 1311-1311	Initial profile is an instance of unary function
(instance InjuryCausedFn UnaryFunction)	Medicine.kif 396-396	InjuryCausedFn is an instance of unary function
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795	Inner boundary is an instance of unary function
(instance IntegerSquareRootFn UnaryFunction)	Merge.kif 4921-4921	Integer square root is an instance of unary function
(instance JudiciaryFn UnaryFunction)	Government.kif 2137-2137	Judiciary is an instance of unary function
(instance JuiceOfFn UnaryFunction)	Food.kif 2598-2598	Juice of fn is an instance of unary function
(instance LastFn UnaryFunction)	Merge.kif 3205-3205	Last is an instance of unary function
(instance LegislatureFn UnaryFunction)	Government.kif 2035-2035	Legislature is an instance of unary function
(instance ListLengthFn UnaryFunction)	Merge.kif 3012-3012	List length is an instance of unary function
(instance ListSumFn UnaryFunction)	Merge.kif 3239-3239	Sum of elements is an instance of unary function
(instance LyricalComponentFn UnaryFunction)	Music.kif 912-912	Lyrical component function is an instance of unary function
(instance MakingFn UnaryFunction)	Merge.kif 18370-18370	Making fn is an instance of unary function
(instance MaleToFemaleRatioFn UnaryFunction)	People.kif 191-191	Male to female ratio is an instance of unary function
(instance MaritimeClaimsTerritorialSeaFn UnaryFunction)	Geography.kif 780-780	Maritime claims territorial sea is an instance of unary function
(instance MaritimeContiguousZoneFn UnaryFunction)	Geography.kif 1042-1042	Maritime contiguous zone is an instance of unary function
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