(instance PlayingInstrumentFn UnaryFunction)	Music.kif 828-828
(instance PopulationFn UnaryFunction)	Mid-level-ontology.kif 31687-31687
(instance PortFacilityFn UnaryFunction)	Transportation.kif 945-945
(instance PowerSetFn UnaryFunction)	Merge.kif 795-795
(instance PredecessorFn UnaryFunction)	Merge.kif 5332-5332
(instance PremisesFn UnaryFunction)	Merge.kif 16899-16899
(instance PressingKeyFn UnaryFunction)	ComputerInput.kif 1358-1358
(instance ProbabilityFn UnaryFunction)	Merge.kif 2572-2572
(instance PropertyFn UnaryFunction)	Merge.kif 4272-4272
(instance QPViewsFn UnaryFunction)	UXExperimentalTerms.kif 4164-4164
(instance QualifiedTreatmentsFn UnaryFunction)	UXExperimentalTerms.kif 4229-4229
(instance QualifyingEventsFn UnaryFunction)	UXExperimentalTerms.kif 4196-4196
(instance QualifyingPurchasesFn UnaryFunction)	UXExperimentalTerms.kif 3031-3031
(instance RadiusFn UnaryFunction)	Mid-level-ontology.kif 4955-4955
(instance RationalNumberFn UnaryFunction)	Merge.kif 5053-5053
(instance RealNumberFn UnaryFunction)	Merge.kif 5060-5060
(instance ReceivingAnObjectFn UnaryFunction)	Media.kif 184-184
(instance ReciprocalFn UnaryFunction)	Merge.kif 5067-5067
(instance RegionalLawFn UnaryFunction)	Government.kif 881-881
(instance ResidentFn UnaryFunction)	Mid-level-ontology.kif 8026-8026
(instance ReverseFn UnaryFunction)	Media.kif 3061-3061
(instance RoundFn UnaryFunction)	Merge.kif 5167-5167
(instance SRPEngagementFn UnaryFunction)	UXExperimentalTerms.kif 3709-3709
(instance SenseImpairmentFn UnaryFunction)	Merge.kif 13508-13508
(instance SenseInabilityFn UnaryFunction)	Merge.kif 13528-13528
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