(domain ExponentiationFn 2 Integer) |
Merge.kif 4818-4818 |
域 冪, 2 and Integer |
(domain GreatestCommonDivisorFn 1 Integer) |
Merge.kif 4846-4846 |
域 最大公約數, 1 and Integer |
(domain LeastCommonMultipleFn 1 Integer) |
Merge.kif 4931-4931 |
域 最不常見的倍數, 1 and Integer |
(domain PredecessorFn 1 Integer) |
Merge.kif 5332-5332 |
域 前任, 1 and Integer |
(domain RemainderFn 1 Integer) |
Merge.kif 5094-5094 |
域 剩餘, 1 and Integer |
(domain RemainderFn 2 Integer) |
Merge.kif 5095-5095 |
域 剩餘, 2 and Integer |
(domain SubListFn 1 Integer) |
Merge.kif 3162-3162 |
域 SubListFn, 1 and Integer |
(domain SubListFn 2 Integer) |
Merge.kif 3163-3163 |
域 SubListFn, 2 and Integer |
(domain SuccessorFn 1 Integer) |
Merge.kif 5299-5299 |
域 接班人, 1 and Integer |
(domain YearFn 1 Integer) |
Merge.kif 8601-8601 |
域 年, 1 and Integer |
(domain airQualityIndex 2 Integer) |
Weather.kif 3076-3076 |
域 airQualityIndex, 2 and Integer |
(domain breathingRate 3 Integer) |
Mid-level-ontology.kif 10597-10597 |
域 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 3173-3173 |
域 coilCount, 2 and Integer |
(domain communicationSatelliteForArea 3 Integer) |
Communications.kif 135-135 |
域 區域通信衛星, 3 and Integer |
(domain criticalityLevel 2 Integer) |
QoSontology.kif 750-750 |
域 臨界水平, 2 and Integer |
(domain defaultMaxValue 2 Integer) |
Merge.kif 18526-18526 |
域 defaultMaxValue, 2 and Integer |
(domain defaultMinValue 2 Integer) |
Merge.kif 18509-18509 |
域 defaultMinValue, 2 and Integer |
(domain defaultValue 2 Integer) |
Merge.kif 18543-18543 |
域 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 3515-3515 |
域 fleetSize, 2 and Integer |
(domain gearToothCount 2 Integer) |
engineering.kif 837-837 |
域 gearToothCount, 2 and Integer |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |