(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 8555-8555 |
域 年, 1 and Integer |
(domain airQualityIndex 2 Integer) |
Weather.kif 3093-3093 |
域 airQualityIndex, 2 and Integer |
(domain breathingRate 3 Integer) |
Mid-level-ontology.kif 10379-10379 |
域 breathingRate, 3 and Integer |
(domain capacityByArrangement 3 Integer) |
Hotel.kif 788-788 |
域 capacityByArrangement, 3 and Integer |
(domain chromosomeNumber 2 Integer) |
VirusProteinAndCellPart.kif 699-699 |
域 chromosomeNumber, 2 and Integer |
(domain chromosomeSetCount 3 Integer) |
VirusProteinAndCellPart.kif 825-825 |
域 chromosomeSetCount, 3 and Integer |
(domain coilCount 2 Integer) |
Cars.kif 3113-3113 |
域 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 18441-18441 |
域 defaultMaxValue, 2 and Integer |
(domain defaultMinValue 2 Integer) |
Merge.kif 18424-18424 |
域 defaultMinValue, 2 and Integer |
(domain defaultValue 2 Integer) |
Merge.kif 18458-18458 |
域 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 790-790 |
域 haploidNumber, 2 and Integer |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |