| s__domain(s__DayFn__m,n__1,s__PositiveInteger)
|
Merge.kif 8198-8198 |
The number 1 argument of day is an instance of positive integer |
| s__domain(s__EditionFn__m,n__2,s__PositiveInteger)
|
Merge.kif 14738-14738 |
The number 2 argument of edition is an instance of positive integer |
| s__domain(s__ListOrderFn__m,n__2,s__PositiveInteger)
|
Merge.kif 2874-2874 |
The number 2 argument of list order is an instance of positive integer |
| s__domain(s__LogFn__m,n__2,s__PositiveInteger)
|
Merge.kif 4780-4780 |
The number 2 argument of log is an instance of positive integer |
| s__domain(s__PeriodicalIssueFn__m,n__2,s__PositiveInteger)
|
Mid-level-ontology.kif 13410-13410 |
The number 2 argument of periodical issue is an instance of positive integer |
| s__domain(s__QuarterFn__m,n__1,s__PositiveInteger)
|
Merge.kif 8567-8567 |
The number 1 argument of QuarterFn is an instance of positive integer |
| s__domain(s__SecondFn__m,n__1,s__PositiveInteger)
|
Merge.kif 8276-8276 |
The number 1 argument of second is an instance of positive integer |
| s__domain(s__SeriesVolumeFn__m,n__2,s__PositiveInteger)
|
Mid-level-ontology.kif 13365-13365 |
The number 2 argument of series volume is an instance of positive integer |
| s__domain(s__WeekFn__m,n__1,s__PositiveInteger)
|
Merge.kif 8549-8549 |
The number 1 argument of WeekFn is an instance of positive integer |
| s__domain(s__accountNumber__m,n__2,s__PositiveInteger)
|
FinancialOntology.kif 3378-3378 |
The number 2 argument of account number is an instance of positive integer |
| s__domain(s__atomicNumber__m,n__2,s__PositiveInteger)
|
Merge.kif 13109-13109 |
The number 2 argument of atomic number is an instance of positive integer |
| s__domain(s__checkNumber__m,n__2,s__PositiveInteger)
|
FinancialOntology.kif 3395-3395 |
The number 2 argument of check number is an instance of positive integer |
| s__domain(s__dataStreamSlack__m,n__2,s__PositiveInteger)
|
QoSontology.kif 1214-1214 |
The number 2 argument of data stream slack is an instance of positive integer |
| s__domain(s__domain__m,n__2,s__PositiveInteger)
|
Merge.kif 207-207 |
The number 2 argument of domain is an instance of positive integer |
| s__domain(s__domainSubclass__m,n__2,s__PositiveInteger)
|
Merge.kif 229-229 |
The number 2 argument of domain subclass is an instance of positive integer |
| s__domain(s__electronNumber__m,n__2,s__PositiveInteger)
|
Mid-level-ontology.kif 20387-20387 |
The number 2 argument of electron number is an instance of positive integer |
| s__domain(s__exportCommodityTypeByRank__m,n__3,s__PositiveInteger)
|
Economy.kif 2328-2328 |
The number 3 argument of export commodity type by rank is an instance of positive integer |
| s__domain(s__exportPartnerByRank__m,n__3,s__PositiveInteger)
|
Economy.kif 2506-2506 |
The number 3 argument of export partner by rank is an instance of positive integer |
| s__domain(s__exportPartnerByRankInPeriod__m,n__3,s__PositiveInteger)
|
Economy.kif 2494-2494 |
The number 3 argument of export partner by rank in period is an instance of positive integer |
| s__domain(s__humanCapacity__m,n__2,s__PositiveInteger)
|
Mid-level-ontology.kif 6253-6253 |
The number 2 argument of human capacity is an instance of positive integer |
| s__domain(s__importCommodityTypeByRank__m,n__3,s__PositiveInteger)
|
Economy.kif 2623-2623 |
The number 3 argument of import commodity type by rank is an instance of positive integer |
| s__domain(s__importPartnerByRank__m,n__3,s__PositiveInteger)
|
Economy.kif 2699-2699 |
The number 3 argument of import partner by rank is an instance of positive integer |
| s__domain(s__importPartnerByRankInPeriod__m,n__3,s__PositiveInteger)
|
Economy.kif 2687-2687 |
The number 3 argument of import partner by rank in period is an instance of positive integer |
| s__domain(s__industryRankByOutput__m,n__3,s__PositiveInteger)
|
Economy.kif 1592-1592 |
The number 3 argument of industry rank by output is an instance of positive integer |
| s__domain(s__maximumReplications__m,n__2,s__PositiveInteger)
|
QoSontology.kif 740-740 |
The number 2 argument of maximum replications is an instance of positive integer |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
