(instance CardinalityFn UnaryFunction)	Merge.kif 5302-5302
(instance CeilingFn UnaryFunction)	Merge.kif 4641-4641
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7415-7415
(instance CitizenryFn UnaryFunction)	Mid-level-ontology.kif 7683-7683
(instance ComplementFn UnaryFunction)	Merge.kif 5270-5270
(instance ConstitutionFn UnaryFunction)	Government.kif 660-660
(instance ConversionRateFn UnaryFunction)	UXExperimentalTerms.kif 3042-3042
(instance CosineFn UnaryFunction)	Merge.kif 4659-4659
(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 28782-28782
(instance CurrencyFn UnaryFunction)	FinancialOntology.kif 282-282
(instance CutSetFn UnaryFunction)	Merge.kif 5843-5843
(instance DatumFn UnaryFunction)	Geography.kif 4642-4642
(instance DeadFn UnaryFunction)	Mid-level-ontology.kif 107-107
(instance DeadOrMissingBodyPartFn UnaryFunction)	Merge.kif 17514-17514
(instance DemonymFn UnaryFunction)	Mid-level-ontology.kif 29676-29676
(instance DenominatorFn UnaryFunction)	Merge.kif 4668-4668
(instance DescendantsFn UnaryFunction)	Mid-level-ontology.kif 7112-7112
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4646-4646
(instance DocumentFn UnaryFunction)	Geography.kif 2892-2892
(instance EdemaFn UnaryFunction)	Mid-level-ontology.kif 9309-9309
(instance ElectionFn UnaryFunction)	Government.kif 1670-1670
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 1927-1927
(instance ElevationLowPointFn UnaryFunction)	Geography.kif 1903-1903
(instance EmailDomainPartFn UnaryFunction)	ComputingBrands.kif 2022-2022
(instance EmailLocalPartFn UnaryFunction)	ComputingBrands.kif 2016-2016
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