(domain ExponentiationFn 2 Integer) |
Merge.kif 4820-4820 |
域 冪, 2 and Integer |
(domain GreatestCommonDivisorFn 1 Integer) |
Merge.kif 4848-4848 |
域 最大公約數, 1 and Integer |
(domain LeastCommonMultipleFn 1 Integer) |
Merge.kif 4933-4933 |
域 最不常見的倍數, 1 and Integer |
(domain PredecessorFn 1 Integer) |
Merge.kif 5334-5334 |
域 前任, 1 and Integer |
(domain RemainderFn 1 Integer) |
Merge.kif 5096-5096 |
域 剩餘, 1 and Integer |
(domain RemainderFn 2 Integer) |
Merge.kif 5097-5097 |
域 剩餘, 2 and Integer |
(domain SubListFn 1 Integer) |
Merge.kif 3161-3161 |
域 SubListFn, 1 and Integer |
(domain SubListFn 2 Integer) |
Merge.kif 3162-3162 |
域 SubListFn, 2 and Integer |
(domain SuccessorFn 1 Integer) |
Merge.kif 5301-5301 |
域 接班人, 1 and Integer |
(domain YearFn 1 Integer) |
Merge.kif 8577-8577 |
域 年, 1 and Integer |
(domain airQualityIndex 2 Integer) |
Weather.kif 3089-3089 |
域 airQualityIndex, 2 and Integer |
(domain breathingRate 3 Integer) |
Mid-level-ontology.kif 10378-10378 |
域 breathingRate, 3 and Integer |
(domain capacityByArrangement 3 Integer) |
Hotel.kif 788-788 |
域 capacityByArrangement, 3 and Integer |
(domain chromosomeNumber 2 Integer) |
VirusProteinAndCellPart.kif 698-698 |
域 chromosomeNumber, 2 and Integer |
(domain chromosomeSetCount 3 Integer) |
VirusProteinAndCellPart.kif 824-824 |
域 chromosomeSetCount, 3 and Integer |
(domain coilCount 2 Integer) |
Cars.kif 3120-3120 |
域 coilCount, 2 and Integer |
(domain communicationSatelliteForArea 3 Integer) |
Communications.kif 135-135 |
域 區域通信衛星, 3 and Integer |
(domain criticalityLevel 2 Integer) |
QoSontology.kif 644-644 |
域 臨界水平, 2 and Integer |
(domain defaultMaxValue 2 Integer) |
Merge.kif 18463-18463 |
域 defaultMaxValue, 2 and Integer |
(domain defaultMinValue 2 Integer) |
Merge.kif 18446-18446 |
域 defaultMinValue, 2 and Integer |
(domain defaultValue 2 Integer) |
Merge.kif 18480-18480 |
域 defaultValue, 2 and Integer |
(domain exactCardinality 2 Integer) |
Media.kif 2070-2070 |
域 exactCardinality, 2 and Integer |
(domain exactCardinality 3 Integer) |
Media.kif 2071-2071 |
域 exactCardinality, 3 and Integer |
(domain fleetSize 2 Integer) |
Mid-level-ontology.kif 3522-3522 |
域 fleetSize, 2 and Integer |
(domain haploidNumber 2 Integer) |
VirusProteinAndCellPart.kif 789-789 |
域 haploidNumber, 2 and Integer |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |