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 1952-1952
(documentation Integer JapaneseLanguage "負または非負の整数。")	japanese_format.kif 356-356
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 1950-1950	劃分 Integer, NegativeInteger and NonnegativeInteger
(partition Integer OddInteger EvenInteger)	Merge.kif 1949-1949	劃分 Integer, OddInteger and EvenInteger
(subclass Integer RationalNumber)	Merge.kif 1948-1948	子類 Integer and RationalNumber

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 924-924	範圍可用於兵役男性 and Integer
(range CardinalityFn Integer)	Merge.kif 5500-5500	範圍基數 and Integer
(range CeilingFn Integer)	Merge.kif 4778-4778	範圍天花板 and Integer
(range DenominatorFn Integer)	Merge.kif 4805-4805	範圍分母 and Integer
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 946-946	範圍適合兵役的男性 and Integer
(range FloorFn Integer)	Merge.kif 4823-4823	範圍地板 and Integer
(range GreatestCommonDivisorFn Integer)	Merge.kif 4841-4841	範圍最大公約數 and Integer
(range LeastCommonMultipleFn Integer)	Merge.kif 4926-4926	範圍最不常見的倍數 and Integer
(range NumeratorFn Integer)	Merge.kif 5031-5031	範圍分子 and Integer
(range PopulationFn Integer)	Mid-level-ontology.kif 32816-32816	範圍人口 and Integer
(range PredecessorFn Integer)	Merge.kif 5329-5329	範圍前任 and Integer
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 984-984	範圍每年達到軍齡的男性 and Integer
(range RemainderFn Integer)	Merge.kif 5092-5092	範圍剩餘 and Integer
(range SignumFn Integer)	Merge.kif 5184-5184	範圍正負號 and Integer
(range SuccessorFn Integer)	Merge.kif 5296-5296	範圍接班人 and Integer
(subclass EvenInteger Integer)	Merge.kif 1954-1954	子類 EvenInteger and Integer
(subclass NegativeInteger Integer)	Merge.kif 1979-1979	子類 NegativeInteger and Integer
(subclass NonnegativeInteger Integer)	Merge.kif 1969-1969	子類 NonnegativeInteger and Integer
(subclass OddInteger Integer)	Merge.kif 1959-1959	子類 OddInteger and Integer
(subclass PrimeNumber Integer)	Merge.kif 1964-1964	子類 PrimeNumber and Integer
(termFormat ChineseLanguage Integer "整数")	chinese_format.kif 866-866	子類 PrimeNumber and Integer
(termFormat EnglishLanguage Integer "integer")	english_format.kif 934-934	子類 PrimeNumber and Integer
(termFormat FrenchLanguage Integer "nombre entier")	french_format.kif 542-542	子類 PrimeNumber and Integer
(termFormat Hindi Integer "pUrNaanka")	terms-hindi.txt 72-72	子類 PrimeNumber and Integer

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 4814-4814	域冪, 2 and Integer
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4842-4842	域最大公約數, 1 and Integer
(domain LeastCommonMultipleFn 1 Integer)	Merge.kif 4927-4927	域最不常見的倍數, 1 and Integer
(domain PredecessorFn 1 Integer)	Merge.kif 5328-5328	域前任, 1 and Integer
(domain RemainderFn 1 Integer)	Merge.kif 5090-5090	域剩餘, 1 and Integer
(domain RemainderFn 2 Integer)	Merge.kif 5091-5091	域剩餘, 2 and Integer
(domain SubListFn 1 Integer)	Merge.kif 3156-3156	域 SubListFn, 1 and Integer
(domain SubListFn 2 Integer)	Merge.kif 3157-3157	域 SubListFn, 2 and Integer
(domain SuccessorFn 1 Integer)	Merge.kif 5295-5295	域接班人, 1 and Integer
(domain YearFn 1 Integer)	Merge.kif 8597-8597	域年, 1 and Integer
(domain airQualityIndex 2 Integer)	Weather.kif 3075-3075	域 airQualityIndex, 2 and Integer
(domain breathingRate 3 Integer)	Mid-level-ontology.kif 11275-11275	域 breathingRate, 3 and Integer
(domain capacityByArrangement 3 Integer)	Hotel.kif 788-788	域 capacityByArrangement, 3 and Integer
(domain chromosomeNumber 2 Integer)	VirusProteinAndCellPart.kif 698-698	域 chromosomeNumber, 2 and Integer
(domain chromosomeSetCount 3 Integer)	VirusProteinAndCellPart.kif 824-824	域 chromosomeSetCount, 3 and Integer
(domain coilCount 2 Integer)	Cars.kif 3173-3173	域 coilCount, 2 and Integer
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 135-135	域區域通信衛星, 3 and Integer
(domain criticalityLevel 2 Integer)	QoSontology.kif 750-750	域臨界水平, 2 and Integer
(domain defaultMaxValue 2 Integer)	Merge.kif 18545-18545	域 defaultMaxValue, 2 and Integer
(domain defaultMinValue 2 Integer)	Merge.kif 18528-18528	域 defaultMinValue, 2 and Integer
(domain defaultValue 2 Integer)	Merge.kif 18562-18562	域 defaultValue, 2 and Integer
(domain exactCardinality 2 Integer)	Media.kif 2070-2070	域 exactCardinality, 2 and Integer
(domain exactCardinality 3 Integer)	Media.kif 2071-2071	域 exactCardinality, 3 and Integer
(domain fleetSize 2 Integer)	Mid-level-ontology.kif 3588-3588	域 fleetSize, 2 and Integer
(domain gearToothCount 2 Integer)	engineering.kif 837-837	域 gearToothCount, 2 and Integer

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 5080-5085	例 RealNumber and Integer 等於 RealNumber and 0 等於 1 and 乘法 RealNumber and 互相 RealNumber
(=> (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 32070-32085	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and Integer 慾望 CognitiveAgent and entity entity 例 entity and Buying 期間何時 entity and TimeInterval objectTransferred entity and entity CurrencyMeasure 是 entity 的 transaction 總額 agent entity and CognitiveAgent 例 entity and Collection Object 是 entity 的 member 類別 Quantity 是 entity 的 member 計數擁有 CognitiveAgent and entity
(=> (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 32012-32022	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 例 Quantity and Integer 慾望 CognitiveAgent and entity 例 entity and Collection Object 是 entity 的 member 類別 Quantity 是 entity 的 member 計數擁有 CognitiveAgent and entity
(=> (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 32037-32052	shortage AutonomousAgent, Object, CurrencyMeasure, TimeInterval and Integer 例 Integer and Integer Transfer Collection 例 Transfer and Buying 期間何時 Transfer and TimeInterval objectTransferred Transfer and Collection CurrencyMeasure 是 Transfer 的 transaction 總額 agent Transfer and AutonomousAgent 例 Collection and Collection Object 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數擁有 AutonomousAgent and Collection
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 5322-5324	例 Integer and Integer 等於 Integer and 前任接班人 Integer
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 5318-5320	例 Integer and Integer 等於 Integer and 接班人前任 Integer
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 5338-5340	例 Integer and Integer 比較多 Integer and 前任 Integer
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 5305-5307	例 Integer and Integer 少於 Integer and 接班人 Integer
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1)))	Merge.kif 5076-5078	例 RealNumber and Integer 等於互相 RealNumber and 冪 RealNumber and -1

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 25355-25365	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
(=> (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	例 Process and BarMitzvah 患者 Process and Human 例 Human and 男孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
(=> (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	例 Process and BatMitzvah 患者 Process and Human 例 Human and 女孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3387-3391	例 Function and SequenceFunction 範圍 Function and Class 子類 Class and 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 25314-25325	例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4893-4898	Integer 是 Integer 的 multiplicative 因子 RealNumber 例 RealNumber and Integer 等於 Integer and 乘法 Integer and RealNumber

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: