domain |
(domain AttrFn 2 Attribute) | Merge.kif 1778-1778 | The number 2 argument of attr is an instance of attribute |
(domain AuctionGMBFn 1 Collection) | UXExperimentalTerms.kif 3193-3193 | The number 1 argument of gross merchandise bought in auctions is an instance of collection |
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea) | Military.kif 865-865 | The number 1 argument of available for military service male is an instance of geopolitical area |
(domain AverageFn 1 List) | Merge.kif 3271-3271 | The number 1 argument of average function is an instance of list |
(domain BackFn 1 SelfConnectedObject) | Merge.kif 898-898 | The number 1 argument of back is an instance of self connected object |
(domain BeginFn 1 TimeInterval) | Merge.kif 7982-7982 | The number 1 argument of begin is an instance of time interval |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5942-5942 | The number 1 argument of begin node is an instance of graph path |
(domain BeliefGroupMemberFn 1 BeliefGroup) | People.kif 673-673 | The number 1 argument of Belief group member fn is an instance of belief group |
(domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | The number 1 argument of bid count is an instance of collection |
(domain BirthsPerThousandFn 1 GeopoliticalArea) | People.kif 69-69 | The number 1 argument of births per thousand is an instance of geopolitical area |
(domain BirthsPerThousandFn 2 Year) | People.kif 70-70 | The number 2 argument of births per thousand is an instance of year |
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) | Merge.kif 14971-14971 | The number 1 argument of Body side fn is an instance of anti-symmetric positional attribute |
(domain BorderFn 1 GeographicArea) | Geography.kif 688-688 | The number 1 argument of border is an instance of geographic area |
(domain BorderFn 2 GeographicArea) | Geography.kif 689-689 | The number 2 argument of border is an instance of geographic area |
(domain BoughtItemsFn 1 Collection) | UXExperimentalTerms.kif 2878-2878 | The number 1 argument of bought items is an instance of collection |
(domain CPUUtilizationFn 1 ComputerProgram) | QoSontology.kif 1319-1319 | The number 1 argument of CPU utilization is an instance of computer program |
(domain CabinetFn 1 GeopoliticalArea) | Government.kif 1527-1527 | The number 1 argument of cabinet is an instance of geopolitical area |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5508-5508 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
(domain CeilingFn 1 RealNumber) | Merge.kif 4783-4783 | The number 1 argument of ceiling is an instance of real number |
(domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1168-1168 | The number 1 argument of cell part is an instance of cell |
(domain CenterOfCircleFn 1 Circle) | Merge.kif 7639-7639 | The number 1 argument of center of circle is an instance of circle |
(domain ChildrenBornPerWomanFn 1 GeopoliticalArea) | People.kif 441-441 | The number 1 argument of children born per woman is an instance of geopolitical area |
(domain ChildrenBornPerWomanFn 2 Year) | People.kif 442-442 | The number 2 argument of children born per woman is an instance of year |
(domain CitizenryFn 1 GeopoliticalArea) | Mid-level-ontology.kif 8039-8039 | The number 1 argument of citizenry is an instance of geopolitical area |
(domain ClickThroughRateFn 1 Collection) | UXExperimentalTerms.kif 3327-3327 | The number 1 argument of click-through rate is an instance of collection |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |