domain

-------------------------


(domain BackFn 1 SelfConnectedObject) Merge.kif 855-855 The number 1 argument of back is an instance of self connected object
(domain BeginFn 1 TimeInterval) Merge.kif 7535-7535 The number 1 argument of begin is an instance of time interval
(domain BeginNodeFn 1 GraphPath) Merge.kif 5587-5587 The number 1 argument of begin node is an instance of graph path
(domain BeliefGroupMemberFn 1 BeliefGroup) People.kif 675-675 The number 1 argument of BeliefGroupMemberFn is an instance of belief group
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 3115-3115 The number 1 argument of bid count is an instance of collection
(domain BirthsPerThousandFn 1 GeopoliticalArea) People.kif 91-91 The number 1 argument of births per thousand is an instance of geopolitical area
(domain BirthsPerThousandFn 2 Year) People.kif 92-92 The number 2 argument of births per thousand is an instance of year
(domain BorderFn 1 GeographicArea) Geography.kif 687-687 The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea) Geography.kif 688-688 The number 2 argument of border is an instance of geographic area
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3082-3082 The number 1 argument of bought items is an instance of collection
(domain CPUUtilizationFn 1 ComputerProgram) QoSontology.kif 1324-1324 The number 1 argument of CPU utilization is an instance of computer program
(domain CabinetFn 1 GeopoliticalArea) Government.kif 1481-1481 The number 1 argument of cabinet is an instance of geopolitical area
(domain CardinalityFn 1
    (UnionFn SetOrClass Collection))
Merge.kif 5178-5178 The number 1 argument of cardinality is an instance of the union of set or class and collection
(domain CeilingFn 1 RealNumber) Merge.kif 4552-4552 The number 1 argument of ceiling is an instance of real number
(domain CellPartFn 1 Cell) VirusProteinAndCellPart.kif 583-583 The number 1 argument of cell part is an instance of cell
(domain CenterOfCircleFn 1 Circle) Merge.kif 7206-7206 The number 1 argument of center of circle is an instance of circle
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) People.kif 447-447 The number 1 argument of children born per woman is an instance of geopolitical area
(domain ChildrenBornPerWomanFn 2 Year) People.kif 448-448 The number 2 argument of children born per woman is an instance of year
(domain CitizenryFn 1 GeopoliticalArea) Mid-level-ontology.kif 7782-7782 The number 1 argument of citizenry is an instance of geopolitical area
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3530-3530 The number 1 argument of click-through rate is an instance of collection
(domain ClickThroughRateFn 2 HypertextLink) UXExperimentalTerms.kif 3532-3532 The number 2 argument of click-through rate is an instance of hyperlink
(domain ComplementFn 1 SetOrClass) Merge.kif 5147-5147 The number 1 argument of complement is an instance of set or class
(domain ConstitutionFn 1 GeopoliticalArea) Government.kif 661-661 The number 1 argument of constitution is an instance of geopolitical area
(domain ContestFn 2 TimePoint) Music.kif 1040-1040 The number 2 argument of contest function is an instance of time point
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 3046-3046 The number 1 argument of conversion rate is an instance of collection

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners