(instance CeilingFn UnaryFunction)	Merge.kif 4685-4685
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7541-7541
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 7707-7707
(instance ComplementFn UnaryFunction)	Merge.kif 5375-5375
(instance ConstitutionFn UnaryFunction)	Government.kif 659-659
(instance ConversionRateFn UnaryFunction)	UXExperimentalTerms.kif 3042-3042
(instance CosineFn UnaryFunction)	Merge.kif 4703-4703
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 29112-29112
(instance CurrencyFn UnaryFunction)	FinancialOntology.kif 282-282
(instance CutSetFn UnaryFunction)	Merge.kif 5974-5974
(instance DatumFn UnaryFunction)	Geography.kif 4754-4754
(instance DeadFn UnaryFunction)	Mid-level-ontology.kif 107-107
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 17964-17964
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 30007-30007
(instance DenominatorFn UnaryFunction)	Merge.kif 4712-4712
(instance DescendantsFn UnaryFunction)	Mid-level-ontology.kif 7136-7136
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4669-4669
(instance DocumentFn UnaryFunction)	Geography.kif 2933-2933
(instance EdemaFn UnaryFunction)	Mid-level-ontology.kif 9546-9546
(instance ElectionFn UnaryFunction)	Government.kif 1669-1669
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 1959-1959
(instance ElevationLowPointFn UnaryFunction)	Geography.kif 1935-1935
(instance EmailDomainPartFn UnaryFunction)	ComputingBrands.kif 2023-2023
(instance EmailLocalPartFn UnaryFunction)	ComputingBrands.kif 2017-2017
(instance EndFn UnaryFunction)	Merge.kif 7912-7912
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