Integer - Sigma Knowledge base Browser

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

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 866-866	bildbereich von AvailableForMilitaryServiceMaleFn ist ein fall von Integer {nicht}
(range CardinalityFn Integer)	Merge.kif 5509-5509	bildbereich von CardinalityFn ist ein fall von Integer {nicht}
(range CeilingFn Integer)	Merge.kif 4784-4784	bildbereich von CeilingFn ist ein fall von Integer {nicht}
(range DenominatorFn Integer)	Merge.kif 4811-4811	bildbereich von DenominatorFn ist ein fall von Integer {nicht}
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 888-888	bildbereich von FitForMilitaryServiceMaleFn ist ein fall von Integer {nicht}
(range FloorFn Integer)	Merge.kif 4829-4829	bildbereich von FloorFn ist ein fall von Integer {nicht}
(range GreatestCommonDivisorFn Integer)	Merge.kif 4847-4847	bildbereich von GreatestCommonDivisorFn ist ein fall von Integer {nicht}
(range LeastCommonMultipleFn Integer)	Merge.kif 4932-4932	bildbereich von LeastCommonMultipleFn ist ein fall von Integer {nicht}
(range NumeratorFn Integer)	Merge.kif 5037-5037	bildbereich von NumeratorFn ist ein fall von Integer {nicht}
(range PopulationFn Integer)	Mid-level-ontology.kif 31693-31693	bildbereich von PopulationFn ist ein fall von Integer {nicht}
(range PredecessorFn Integer)	Merge.kif 5335-5335	bildbereich von PredecessorFn ist ein fall von Integer {nicht}
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 926-926	bildbereich von ReachingMilitaryAgeAnnuallyMaleFn ist ein fall von Integer {nicht}
(range RemainderFn Integer)	Merge.kif 5098-5098	bildbereich von RemainderFn ist ein fall von Integer {nicht}
(range SignumFn Integer)	Merge.kif 5190-5190	bildbereich von SignumFn ist ein fall von Integer {nicht}
(range SuccessorFn Integer)	Merge.kif 5302-5302	bildbereich von SuccessorFn ist ein fall von Integer {nicht}
(subclass EvenInteger Integer)	Merge.kif 1960-1960	EvenInteger ist eine teilkategorie von Integer
(subclass NegativeInteger Integer)	Merge.kif 1985-1985	NegativeInteger ist eine teilkategorie von Integer
(subclass NonnegativeInteger Integer)	Merge.kif 1975-1975	NonnegativeInteger ist eine teilkategorie von Integer
(subclass OddInteger Integer)	Merge.kif 1965-1965	OddInteger ist eine teilkategorie von Integer
(subclass PrimeNumber Integer)	Merge.kif 1970-1970	PrimeNumber ist eine teilkategorie von Integer
(termFormat ChineseLanguage Integer "整数")	chinese_format.kif 866-866
(termFormat EnglishLanguage Integer "integer")	english_format.kif 934-934
(termFormat FrenchLanguage Integer "nombre entier")	french_format.kif 542-542
(termFormat Hindi Integer "pUrNaanka")	terms-hindi.txt 72-72

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

(=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER))))	Merge.kif 5086-5091	Wenn RealNumber ist ein fall von Integer %n{nicht} und RealNumber ist gleich 0 nicht, dann 1 ist gleich RealNumber und der reziprokerwert von ** RealNumber %n{nicht}
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30956-30971	Wenn shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity und Quantity ist ein fall von Integer %n{nicht}, dann CognitiveAgent wuenscht es gibt entity und entity um entity ist ein fall von Buying %n{nicht} und die zeit des Bestehens von entity geschieht waehrend TimeInterval %n{nicht} und objectTransferred entity and entity und transactionAmount entity and CurrencyMeasure und entity ist der agent von CognitiveAgent %n{nicht} und entity ist ein fall von Collection %n{nicht} und memberType entity and Object und memberCount entity and Quantity und CognitiveAgent besitzt ** entity %n{nicht} %n{nicht}
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30898-30908	Wenn shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity und Quantity ist ein fall von Integer %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Collection %n{nicht} und memberType entity and Object und memberCount entity and Quantity und CognitiveAgent besitzt entity %n{nicht} %n{nicht}
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30923-30938	Wenn shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and Integer und Integer ist ein fall von Integer %n{nicht}, dann es gibt nicht Transfer und Collection um Transfer ist ein fall von Buying %n{nicht} und die zeit des Bestehens von Transfer geschieht waehrend TimeInterval %n{nicht} und objectTransferred Transfer and Collection und transactionAmount Transfer and CurrencyMeasure und Transfer ist der agent von AutonomousAgent %n{nicht} und Collection ist ein fall von Collection %n{nicht} und memberType Collection and Object und memberCount Collection and Integer und AutonomousAgent besitzt Collection %n{nicht}
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 5328-5330	Wenn Integer ist ein fall von Integer %n{nicht}, dann Integer ist gleich (( Integer+1)+2) %n{nicht}
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 5324-5326	Wenn Integer ist ein fall von Integer %n{nicht}, dann Integer ist gleich (( Integer+2)+1) %n{nicht}
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 5344-5346	Wenn Integer ist ein fall von Integer %n{nicht}, dann Integer ist groesserAls ( Integer+2) %n{nicht}
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 5311-5313	Wenn Integer ist ein fall von Integer %n{nicht}, dann Integer ist kleinerAls ( Integer+1) %n{nicht}
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1)))	Merge.kif 5082-5084	Wenn RealNumber ist ein fall von Integer %n{nicht}, dann der reziprokerwert von RealNumber ist gleich RealNumber in der -1te Potenz %n{nicht}

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	Wenn birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um birthday Human and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls Integer %n{nicht}
(=> (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	Wenn Process ist ein fall von BarMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Boy %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (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	Wenn Process ist ein fall von BatMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Girl %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3392-3396	Wenn Function ist ein fall von SequenceFunction %n{nicht} und bildbereich von Function ist ein fall von Class {nicht}, dann Class ist eine teilkategorie von Integer
(=> (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	Wenn Physical ist ein fall von Wedding %n{nicht} und datum von Physical ist Day %n{nicht} und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um weddingAnniversary Physical and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls ** Integer %n{nicht}
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4899-4904	Wenn multiplicativeFactor Integer and Integer, dann es gibt RealNumber um RealNumber ist ein fall von Integer %n{nicht} und Integer ist gleich Integer und RealNumber %n{nicht}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: