CenturyDuration
|
|
appearance as argument number 1 |
(documentation Integer ChineseLanguage "这是一个负或非负的整数。") | chinese_format.kif 1748-1748 | |
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 1958-1958 | |
(documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
(partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1956-1956 | Integer is exhaustively partitioned into negative integer and nonnegative integer |
(partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | Integer is exhaustively partitioned into odd integer and even integer |
(subclass Integer RationalNumber) | Merge.kif 1954-1954 | Integer is a subclass of rational number |
appearance as argument number 2 |
appearance as argument number 3 |
(domain ExponentiationFn 2 Integer) | Merge.kif 4821-4821 | The number 2 argument of exponentiation is an instance of integer |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4849-4849 | The number 1 argument of greatest common divisor is an instance of integer |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4934-4934 | The number 1 argument of least common multiple is an instance of integer |
(domain PredecessorFn 1 Integer) | Merge.kif 5335-5335 | The number 1 argument of predecessor is an instance of integer |
(domain RemainderFn 1 Integer) | Merge.kif 5097-5097 | The number 1 argument of remainder is an instance of integer |
(domain RemainderFn 2 Integer) | Merge.kif 5098-5098 | The number 2 argument of remainder is an instance of integer |
(domain SubListFn 1 Integer) | Merge.kif 3162-3162 | The number 1 argument of sub-list function is an instance of integer |
(domain SubListFn 2 Integer) | Merge.kif 3163-3163 | The number 2 argument of sub-list function is an instance of integer |
(domain SuccessorFn 1 Integer) | Merge.kif 5302-5302 | The number 1 argument of successor is an instance of integer |
(domain YearFn 1 Integer) | Merge.kif 8591-8591 | The number 1 argument of year is an instance of integer |
(domain airQualityIndex 2 Integer) | Weather.kif 3076-3076 | The number 2 argument of airQualityIndex is an instance of integer |
(domain breathingRate 3 Integer) | Mid-level-ontology.kif 10597-10597 | The number 3 argument of breathingRate is an instance of integer |
(domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | The number 3 argument of capacity by arrangement is an instance of integer |
(domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 698-698 | The number 2 argument of chromosome number is an instance of integer |
(domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 824-824 | The number 3 argument of chromosome set count is an instance of integer |
(domain coilCount 2 Integer) | Cars.kif 3097-3097 | The number 2 argument of coil count is an instance of integer |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | The number 3 argument of communication satellite for area is an instance of integer |
(domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | The number 2 argument of criticality level is an instance of integer |
(domain defaultMaxValue 2 Integer) | Merge.kif 18520-18520 | The number 2 argument of default max value is an instance of integer |
(domain defaultMinValue 2 Integer) | Merge.kif 18503-18503 | The number 2 argument of default min value is an instance of integer |
(domain defaultValue 2 Integer) | Merge.kif 18537-18537 | The number 2 argument of default value is an instance of integer |
(domain exactCardinality 2 Integer) | Media.kif 2070-2070 | The number 2 argument of exact cardinality is an instance of integer |
(domain exactCardinality 3 Integer) | Media.kif 2071-2071 | The number 3 argument of exact cardinality is an instance of integer |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 3515-3515 | The number 2 argument of Fleet Size is an instance of integer |
(domain haploidNumber 2 Integer) | VirusProteinAndCellPart.kif 789-789 | The number 2 argument of haploid number is an instance of integer |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |