Integer
|
|
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 wird vollstaendig in NegativeInteger und NonnegativeInteger verteilt |
(partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | Integer wird vollstaendig in OddInteger und EvenInteger verteilt |
(subclass Integer RationalNumber) | Merge.kif 1954-1954 | Integer ist eine teilkategorie von RationalNumber |
appearance as argument number 2 |
appearance as argument number 3 |
(domain ExponentiationFn 2 Integer) | Merge.kif 4820-4820 | Die Zahl 2 Argument von ExponentiationFn ist ein fall von Integer %n{nicht} |
(domain GreatestCommonDivisorFn 1 Integer) | Merge.kif 4848-4848 | Die Zahl 1 Argument von GreatestCommonDivisorFn ist ein fall von Integer %n{nicht} |
(domain LeastCommonMultipleFn 1 Integer) | Merge.kif 4933-4933 | Die Zahl 1 Argument von LeastCommonMultipleFn ist ein fall von Integer %n{nicht} |
(domain PredecessorFn 1 Integer) | Merge.kif 5334-5334 | Die Zahl 1 Argument von PredecessorFn ist ein fall von Integer %n{nicht} |
(domain RemainderFn 1 Integer) | Merge.kif 5096-5096 | Die Zahl 1 Argument von RemainderFn ist ein fall von Integer %n{nicht} |
(domain RemainderFn 2 Integer) | Merge.kif 5097-5097 | Die Zahl 2 Argument von RemainderFn ist ein fall von Integer %n{nicht} |
(domain SubListFn 1 Integer) | Merge.kif 3161-3161 | Die Zahl 1 Argument von SubListFn ist ein fall von Integer %n{nicht} |
(domain SubListFn 2 Integer) | Merge.kif 3162-3162 | Die Zahl 2 Argument von SubListFn ist ein fall von Integer %n{nicht} |
(domain SuccessorFn 1 Integer) | Merge.kif 5301-5301 | Die Zahl 1 Argument von SuccessorFn ist ein fall von Integer %n{nicht} |
(domain YearFn 1 Integer) | Merge.kif 8555-8555 | Die Zahl 1 Argument von YearFn ist ein fall von Integer %n{nicht} |
(domain airQualityIndex 2 Integer) | Weather.kif 3093-3093 | Die Zahl 2 Argument von airQualityIndex ist ein fall von Integer %n{nicht} |
(domain breathingRate 3 Integer) | Mid-level-ontology.kif 10379-10379 | Die Zahl 3 Argument von breathingRate ist ein fall von Integer %n{nicht} |
(domain capacityByArrangement 3 Integer) | Hotel.kif 788-788 | Die Zahl 3 Argument von capacityByArrangement ist ein fall von Integer %n{nicht} |
(domain chromosomeNumber 2 Integer) | VirusProteinAndCellPart.kif 699-699 | Die Zahl 2 Argument von chromosomeNumber ist ein fall von Integer %n{nicht} |
(domain chromosomeSetCount 3 Integer) | VirusProteinAndCellPart.kif 825-825 | Die Zahl 3 Argument von chromosomeSetCount ist ein fall von Integer %n{nicht} |
(domain coilCount 2 Integer) | Cars.kif 3113-3113 | Die Zahl 2 Argument von coilCount ist ein fall von Integer %n{nicht} |
(domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | Die Zahl 3 Argument von communicationSatelliteForArea ist ein fall von Integer %n{nicht} |
(domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | Die Zahl 2 Argument von criticalityLevel ist ein fall von Integer %n{nicht} |
(domain defaultMaxValue 2 Integer) | Merge.kif 18441-18441 | Die Zahl 2 Argument von defaultMaxValue ist ein fall von Integer %n{nicht} |
(domain defaultMinValue 2 Integer) | Merge.kif 18424-18424 | Die Zahl 2 Argument von defaultMinValue ist ein fall von Integer %n{nicht} |
(domain defaultValue 2 Integer) | Merge.kif 18458-18458 | Die Zahl 2 Argument von defaultValue ist ein fall von Integer %n{nicht} |
(domain exactCardinality 2 Integer) | Media.kif 2070-2070 | Die Zahl 2 Argument von exactCardinality ist ein fall von Integer %n{nicht} |
(domain exactCardinality 3 Integer) | Media.kif 2071-2071 | Die Zahl 3 Argument von exactCardinality ist ein fall von Integer %n{nicht} |
(domain fleetSize 2 Integer) | Mid-level-ontology.kif 3522-3522 | Die Zahl 2 Argument von fleetSize ist ein fall von Integer %n{nicht} |
(domain haploidNumber 2 Integer) | VirusProteinAndCellPart.kif 790-790 | Die Zahl 2 Argument von haploidNumber ist ein fall von Integer %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24236-24246 |
|
(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 69-85 |
|
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 99-115 |
|
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3392-3396 |
|
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24195-24206 |
|
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4899-4904 |
|