Integer(nombre entier) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Integer ChineseLanguage "这是一个负或非负的整数。") | chinese_format.kif 1748-1748 | |
(documentation Integer EnglishLanguage "A negative or nonnegative whole number.") | Merge.kif 1954-1954 | |
(documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
(partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1952-1952 | Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif |
(partition Integer OddInteger EvenInteger) | Merge.kif 1951-1951 | Nombre entier est compl�tement d�compos� en nombre entier impair + nombre entier �gal |
(subclass Integer RationalNumber) | Merge.kif 1950-1950 | Nombre entier est une sous-classe de nombre rationnel |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain ExponentiationFn 2 Integer) | Merge.kif 4833-4833 | Le nombre 2 argument de ExponentiationFn est une instance de nombre entier |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4861-4861 | Le nombre 1 argument de GreatestCommonDivisorFn est une instance de nombre entier |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4946-4946 | Le nombre 1 argument de LeastCommonMultipleFn est une instance de nombre entier |
(domain PredecessorFn 1 Integer) | Merge.kif 5347-5347 | Le nombre 1 argument de PredecessorFn est une instance de nombre entier |
(domain RemainderFn 1 Integer) | Merge.kif 5109-5109 | Le nombre 1 argument de RemainderFn est une instance de nombre entier |
(domain RemainderFn 2 Integer) | Merge.kif 5110-5110 | Le nombre 2 argument de RemainderFn est une instance de nombre entier |
(domain SubListFn 1 Integer) | Merge.kif 3159-3159 | Le nombre 1 argument de SubListFn est une instance de nombre entier |
(domain SubListFn 2 Integer) | Merge.kif 3160-3160 | Le nombre 2 argument de SubListFn est une instance de nombre entier |
(domain SuccessorFn 1 Integer) | Merge.kif 5314-5314 | Le nombre 1 argument de SuccessorFn est une instance de nombre entier |
(domain YearFn 1 Integer) | Merge.kif 8653-8653 | Le nombre 1 argument de YearFn est une instance de nombre entier |
(domain airQualityIndex 2 Integer) | Weather.kif 3483-3483 | Le nombre 2 argument de airQualityIndex est une instance de nombre entier |
(domain breathingRate 3 Integer) | Mid-level-ontology.kif 11710-11710 | Le nombre 3 argument de breathingRate est une instance de nombre entier |
(domain capacityByArrangement 3 Integer) | Hotel.kif 792-792 | Le nombre 3 argument de capacityByArrangement est une instance de nombre entier |
(domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 705-705 | Le nombre 2 argument de chromosomeNumber est une instance de nombre entier |
(domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 831-831 | Le nombre 3 argument de chromosomeSetCount est une instance de nombre entier |
(domain coilCount 2 Integer) | Cars.kif 3173-3173 | Le nombre 2 argument de coilCount est une instance de nombre entier |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | Le nombre 3 argument de communicationSatelliteForArea est une instance de nombre entier |
(domain criticalityLevel 2 Integer) | QoSontology.kif 753-753 | Le nombre 2 argument de criticalityLevel est une instance de nombre entier |
(domain defaultMaxValue 2 Integer) | Merge.kif 18613-18613 | Le nombre 2 argument de defaultMaxValue est une instance de nombre entier |
(domain defaultMinValue 2 Integer) | Merge.kif 18596-18596 | Le nombre 2 argument de defaultMinValue est une instance de nombre entier |
(domain defaultValue 2 Integer) | Merge.kif 18630-18630 | Le nombre 2 argument de defaultValue est une instance de nombre entier |
(domain exactCardinality 2 Integer) | Media.kif 2072-2072 | Le nombre 2 argument de exactCardinality est une instance de nombre entier |
(domain exactCardinality 3 Integer) | Media.kif 2073-2073 | Le nombre 3 argument de exactCardinality est une instance de nombre entier |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 3965-3965 | Le nombre 2 argument de fleetSize est une instance de nombre entier |
(domain gearToothCount 2 Integer) | engineering.kif 837-837 | Le nombre 2 argument de gearToothCount est une instance de nombre entier |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |