Integer(Numero Inteiro) |
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 | O conceito Numero Inteiro e' completamente decomposto em Inteiro negativo + Numero Inteiro nao-negativo |
(partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | O conceito Numero Inteiro e' completamente decomposto em Inteiro Impar + Inteiro Par |
(subclass Integer RationalNumber) | Merge.kif 1954-1954 | Numero Inteiro e' uma sub-classe de Numero Racional |
appearance as argument number 2 |
appearance as argument number 3 |
(domain ExponentiationFn 2 Integer) | Merge.kif 4820-4820 | O argumento numero 2 de ExponentiationFn e' uma instancia de Numero Inteiro |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4848-4848 | O argumento numero 1 de GreatestCommonDivisorFn e' uma instancia de Numero Inteiro |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4933-4933 | O argumento numero 1 de LeastCommonMultipleFn e' uma instancia de Numero Inteiro |
(domain PredecessorFn 1 Integer) | Merge.kif 5334-5334 | O argumento numero 1 de PredecessorFn e' uma instancia de Numero Inteiro |
(domain RemainderFn 1 Integer) | Merge.kif 5096-5096 | O argumento numero 1 de RemainderFn e' uma instancia de Numero Inteiro |
(domain RemainderFn 2 Integer) | Merge.kif 5097-5097 | O argumento numero 2 de RemainderFn e' uma instancia de Numero Inteiro |
(domain SubListFn 1 Integer) | Merge.kif 3161-3161 | O argumento numero 1 de SubListFn e' uma instancia de Numero Inteiro |
(domain SubListFn 2 Integer) | Merge.kif 3162-3162 | O argumento numero 2 de SubListFn e' uma instancia de Numero Inteiro |
(domain SuccessorFn 1 Integer) | Merge.kif 5301-5301 | O argumento numero 1 de SuccessorFn e' uma instancia de Numero Inteiro |
(domain YearFn 1 Integer) | Merge.kif 8555-8555 | O argumento numero 1 de YearFn e' uma instancia de Numero Inteiro |
(domain airQualityIndex 2 Integer) | Weather.kif 3093-3093 | O argumento numero 2 de airQualityIndex e' uma instancia de Numero Inteiro |
(domain breathingRate 3 Integer) | Mid-level-ontology.kif 10379-10379 | O argumento numero 3 de breathingRate e' uma instancia de Numero Inteiro |
(domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | O argumento numero 3 de capacityByArrangement e' uma instancia de Numero Inteiro |
(domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 699-699 | O argumento numero 2 de chromosomeNumber e' uma instancia de Numero Inteiro |
(domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 825-825 | O argumento numero 3 de chromosomeSetCount e' uma instancia de Numero Inteiro |
(domain coilCount 2 Integer) | Cars.kif 3113-3113 | O argumento numero 2 de coilCount e' uma instancia de Numero Inteiro |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | O argumento numero 3 de communicationSatelliteForArea e' uma instancia de Numero Inteiro |
(domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | O argumento numero 2 de criticalityLevel e' uma instancia de Numero Inteiro |
(domain defaultMaxValue 2 Integer) | Merge.kif 18441-18441 | O argumento numero 2 de defaultMaxValue e' uma instancia de Numero Inteiro |
(domain defaultMinValue 2 Integer) | Merge.kif 18424-18424 | O argumento numero 2 de defaultMinValue e' uma instancia de Numero Inteiro |
(domain defaultValue 2 Integer) | Merge.kif 18458-18458 | O argumento numero 2 de defaultValue e' uma instancia de Numero Inteiro |
(domain exactCardinality 2 Integer) | Media.kif 2070-2070 | O argumento numero 2 de exactCardinality e' uma instancia de Numero Inteiro |
(domain exactCardinality 3 Integer) | Media.kif 2071-2071 | O argumento numero 3 de exactCardinality e' uma instancia de Numero Inteiro |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 3522-3522 | O argumento numero 2 de fleetSize e' uma instancia de Numero Inteiro |
(domain haploidNumber 2 Integer) | VirusProteinAndCellPart.kif 790-790 | O argumento numero 2 de haploidNumber e' uma instancia de Numero Inteiro |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |