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	整数は負の整数 + 非負整数に exhaustively partitioned %n
(partition Integer OddInteger EvenInteger)	Merge.kif 1955-1955	整数は奇数の整数 + 偶数の整数に exhaustively partitioned %n
(subclass Integer RationalNumber)	Merge.kif 1954-1954	整数は有理数の subclass では %n

appearance as argument number 2

(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 866-866	AvailableForMilitaryServiceMaleFn の range は整数のインスタンスでは %n
(range CardinalityFn Integer)	Merge.kif 5509-5509	CardinalityFn の range は整数のインスタンスでは %n
(range CeilingFn Integer)	Merge.kif 4784-4784	CeilingFn の range は整数のインスタンスでは %n
(range DenominatorFn Integer)	Merge.kif 4811-4811	DenominatorFn の range は整数のインスタンスでは %n
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 888-888	FitForMilitaryServiceMaleFn の range は整数のインスタンスでは %n
(range FloorFn Integer)	Merge.kif 4829-4829	FloorFn の range は整数のインスタンスでは %n
(range GreatestCommonDivisorFn Integer)	Merge.kif 4847-4847	GreatestCommonDivisorFn の range は整数のインスタンスでは %n
(range LeastCommonMultipleFn Integer)	Merge.kif 4932-4932	LeastCommonMultipleFn の range は整数のインスタンスでは %n
(range NumeratorFn Integer)	Merge.kif 5037-5037	NumeratorFn の range は整数のインスタンスでは %n
(range PopulationFn Integer)	People.kif 30-30	PopulationFn の range は整数のインスタンスでは %n
(range PredecessorFn Integer)	Merge.kif 5335-5335	PredecessorFn の range は整数のインスタンスでは %n
(range ReachingMilitaryAgeAnnuallyMaleFn Integer)	Military.kif 926-926	ReachingMilitaryAgeAnnuallyMaleFn の range は整数のインスタンスでは %n
(range RemainderFn Integer)	Merge.kif 5098-5098	RemainderFn の range は整数のインスタンスでは %n
(range SignumFn Integer)	Merge.kif 5190-5190	SignumFn の range は整数のインスタンスでは %n
(range SuccessorFn Integer)	Merge.kif 5302-5302	SuccessorFn の range は整数のインスタンスでは %n
(subclass EvenInteger Integer)	Merge.kif 1960-1960	偶数の整数は整数の subclass では %n
(subclass NegativeInteger Integer)	Merge.kif 1985-1985	負の整数は整数の subclass では %n
(subclass NonnegativeInteger Integer)	Merge.kif 1975-1975	非負整数は整数の subclass では %n
(subclass OddInteger Integer)	Merge.kif 1965-1965	奇数の整数は整数の subclass では %n
(subclass PrimeNumber Integer)	Merge.kif 1970-1970	素数は整数の subclass では %n
(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	ExponentiationFn の数値 2 引数は整数の instance では %n
(domain GreatestCommonDivisorFn 1 Integer)	Merge.kif 4848-4848	GreatestCommonDivisorFn の数値 1 引数は整数の instance では %n
(domain LeastCommonMultipleFn 1 Integer)	Merge.kif 4933-4933	LeastCommonMultipleFn の数値 1 引数は整数の instance では %n
(domain PredecessorFn 1 Integer)	Merge.kif 5334-5334	PredecessorFn の数値 1 引数は整数の instance では %n
(domain RemainderFn 1 Integer)	Merge.kif 5096-5096	RemainderFn の数値 1 引数は整数の instance では %n
(domain RemainderFn 2 Integer)	Merge.kif 5097-5097	RemainderFn の数値 2 引数は整数の instance では %n
(domain SubListFn 1 Integer)	Merge.kif 3161-3161	SubListFn の数値 1 引数は整数の instance では %n
(domain SubListFn 2 Integer)	Merge.kif 3162-3162	SubListFn の数値 2 引数は整数の instance では %n
(domain SuccessorFn 1 Integer)	Merge.kif 5301-5301	SuccessorFn の数値 1 引数は整数の instance では %n
(domain YearFn 1 Integer)	Merge.kif 8555-8555	YearFn の数値 1 引数は整数の instance では %n
(domain breathingRate 3 Integer)	Mid-level-ontology.kif 10351-10351	breathingRate の数値 3 引数は整数の instance では %n
(domain capacityByArrangement 3 Integer)	Hotel.kif 788-788	capacityByArrangement の数値 3 引数は整数の instance では %n
(domain coilCount 2 Integer)	Cars.kif 3113-3113	coilCount の数値 2 引数は整数の instance では %n
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 135-135	communicationSatelliteForArea の数値 3 引数は整数の instance では %n
(domain criticalityLevel 2 Integer)	QoSontology.kif 644-644	criticalityLevel の数値 2 引数は整数の instance では %n
(domain defaultMaxValue 2 Integer)	Merge.kif 18412-18412	defaultMaxValue の数値 2 引数は整数の instance では %n
(domain defaultMinValue 2 Integer)	Merge.kif 18395-18395	defaultMinValue の数値 2 引数は整数の instance では %n
(domain defaultValue 2 Integer)	Merge.kif 18429-18429	defaultValue の数値 2 引数は整数の instance では %n
(domain exactCardinality 2 Integer)	Media.kif 2070-2070	exactCardinality の数値 2 引数は整数の instance では %n
(domain exactCardinality 3 Integer)	Media.kif 2071-2071	exactCardinality の数値 3 引数は整数の instance では %n
(domain fleetSize 2 Integer)	Mid-level-ontology.kif 3494-3494	fleetSize の数値 2 引数は整数の instance では %n
(domain heartRate 3 Integer)	Mid-level-ontology.kif 10309-10309	heartRate の数値 3 引数は整数の instance では %n
(domain identityElement 2 Integer)	Merge.kif 5279-5279	identityElement の数値 2 引数は整数の instance では %n
(domain maxCardinality 2 Integer)	Media.kif 2194-2194	maxCardinality の数値 2 引数は整数の instance では %n
(domain maxCardinality 3 Integer)	Media.kif 2195-2195	maxCardinality の数値 3 引数は整数の instance では %n

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	実数は整数の instance では %n 実数は 0 と equal では 1 は実数 + 実数の reciprocal と equal では %n
(=> (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 30857-30872	shortage 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は整数の instance では %n 認識エージェントがエンティティーエンティティーエンティティーは購買の instance では %n エンティティーの time の existence は時間間隔の during に takes %n{ない} objectTransferred エンティティー and エンティティー transactionAmount エンティティー and 通貨測定認識エージェントはエンティティーの agent では %n エンティティーはコレクションの instance では %n memberType エンティティー and オブジェクト memberCount エンティティー and 量認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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 30799-30809	shortage 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は整数の instance では %n 認識エージェントがエンティティーエンティティーはコレクションの instance では %n memberType エンティティー and オブジェクト memberCount エンティティー and 量認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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 30824-30839	shortage AutonomousAgent, オブジェクト, 通貨測定, 時間間隔 and 整数整数は整数の instance では %n 移動コレクション移動は購買の instance では %n 移動の time の existence は時間間隔の during に takes %n{ない} objectTransferred 移動 and コレクション transactionAmount 移動 and 通貨測定 AutonomousAgent は移動の agent では %n コレクションはコレクションの instance では %n memberType コレクション and オブジェクト memberCount コレクション and 整数 AutonomousAgent はコレクションを possesses %n{ない}
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	Merge.kif 5328-5330	整数は整数の instance では %n 整数は (( 整数+1)+2) と equal では %n
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))	Merge.kif 5324-5326	整数は整数の instance では %n 整数は (( 整数+2)+1) と equal では %n
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))	Merge.kif 5344-5346	整数は整数の instance では %n 整数は ( 整数+2) より greater では　%n
(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))	Merge.kif 5311-5313	整数は整数の instance では %n 整数は ( 整数+1) より less では %n
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1)))	Merge.kif 5082-5084	実数は整数の instance では %n 実数の reciprocal は実数の power -1 と equal では %n

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 24165-24175	birthdate 人［人間］ and 日日は正の整数 day 目の instance では %n 日整数 birthday 人［人間］ and 日日は日の subclass では %n 整数は整数の instance では %n 日は正の整数 day 目と equal では %n 整数は整数より greater では　%n
(=> (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	工程は BarMitzvah の instance では %n 人［人間］は工程の patient では %n 人［人間］は Boy の instance では %n 人［人間］はコレクションの member では %n コレクションは Judaism の instance では %n birthdate 人［人間］ and 日日は正の整数 day 目の instance では %n 整数時間位置整数は整数の instance では %n 整数は ( 整数 + 13) と equal では %n 時間位置は正の整数 day 目の instance では %n 工程の time の existence は時間位置のすぐ after と equal では %n
(=> (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	工程は BatMitzvah の instance では %n 人［人間］は工程の patient では %n 人［人間］は Girl の instance では %n 人［人間］はコレクションの member では %n コレクションは Judaism の instance では %n birthdate 人［人間］ and 日日は正の整数 day 目の instance では %n 整数時間位置整数は整数の instance では %n 整数は ( 整数 + 13) と equal では %n 時間位置は正の整数 day 目の instance では %n 工程の time の existence は時間位置のすぐ after と equal では %n
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3392-3396	関数は配列関数の instance では %n 関数の range はクラスのインスタンスでは %n クラスは整数の subclass では %n
(=> (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 24124-24135	物理は Wedding の instance では %n 物理の date は日では日は正の整数 day 目の instance では %n 日整数 weddingAnniversary 物理 and 日日は日の subclass では %n 整数は整数の instance では %n 日は正の整数 day 目と equal では %n 整数は整数より greater では　%n
(=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I)))))	Merge.kif 4899-4904	multiplicativeFactor 整数 and 整数実数実数は整数の instance では %n 整数は整数 + 実数と equal では %n

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: