Integer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1748-1748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1958-1958
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 356-356
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1956-1956	整数详尽无遗地 partition 成负整数和非负整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1955-1955	整数详尽无遗地 partition 成奇整数和偶数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1954-1954	整数是有理数的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 866-866	可用于兵役男性的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	势函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	顶整数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	分母函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Military.kif 888-888	适合兵役的男性的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4829-4829	底整数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	最大公因数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4932-4932	最小公倍数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5037-5037	分子函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31693-31693	人口的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5335-5335	前继数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Military.kif 926-926	每年达到军龄的男性的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	余函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5190-5190	正或负值函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5302-5302	后继数函数的 range 是整数的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	偶数是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1985-1985	负整数是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1975-1975	非负整数是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1965-1965	奇整数是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1970-1970	素数是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	english_format.kif 934-934
No TPTP formula. May not be expressible in strict first order.	french_format.kif 542-542
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4820-4820	次幂函数的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	最大公因数函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4933-4933	最小公倍数函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5334-5334	前继数函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5096-5096	余函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	余函数的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3161-3161	SubListFn 的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	SubListFn 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5301-5301	后继数函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8555-8555	年函数的 1 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3093-3093	airQualityIndex 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10379-10379	breathingRate 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 788-788	capacityByArrangement 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 699-699	chromosomeNumber 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 825-825	chromosomeSetCount 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3113-3113	coilCount 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Communications.kif 135-135	区域通信卫星的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	临界水平的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18441-18441	defaultMaxValue 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18424-18424	defaultMinValue 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18458-18458	defaultValue 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	exactCardinality 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	exactCardinality 的 3 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3522-3522	fleetSize 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 790-790	haploidNumber 的 2 数量是整数的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5086-5091	如果实数是整数的 instance 和那个实数不 equal 0，然后 1 equal 那个实数和那个实数的倒数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	如果 shortage 有认知的主事, 有点客体, 货币测量, 时距 and 数量和那个数量是整数的 instance，然后那个有认知的主事 desires 有存在实体和另一个实体这样那个实体是购买的 instance 和那个实体出现的 time 在那个时距时段内发生和 objectTransferred 那个实体 and 那个另外实体和那个货币测量是那个实体的 transaction 总额和那个有认知的主事是那个实体的 agent 和那个另外实体是群体的 instance 和有点客体是那个另外实体的 member 类别和那个数量是那个另外实体的 member 计数和那个有认知的主事 possesses 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30908	如果 shortage 有认知的主事, 有点客体, 货币测量, 时距 and 数量和那个数量是整数的 instance，然后那个有认知的主事 desires 有存在实体这样那个实体是群体的 instance 和有点客体是那个实体的 member 类别和那个数量是那个实体的 member 计数和那个有认知的主事 possesses 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	如果 shortage 施事体, 有点客体, 货币测量, 时距 and 整数和那个整数是整数的 instance，然后不存在转移和群体这样那个转移是购买的 instance 和那个转移出现的 time 在那个时距时段内发生和 objectTransferred 那个转移 and 那个群体和那个货币测量是那个转移的 transaction 总额和那个施事体是那个转移的 agent 和那个群体是群体的 instance 和有点客体是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个施事体 possesses 那个群体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5328-5330	如果整数是整数的 instance，然后那个整数 equal ((那个整数+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5324-5326	如果整数是整数的 instance，然后那个整数 equal ((那个整数+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5344-5346	如果整数是整数的 instance，然后那个整数是 greaterThan (那个整数+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5311-5313	如果整数是整数的 instance，然后那个整数是 lessThan (那个整数+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5082-5084	如果实数是整数的 instance，然后那个实数的倒数 equal 那个实数 -1 的次幂

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	如果过程是 BarMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是男孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	如果过程是 BatMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是女孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3396	如果函数是序列函数的 instance 和那个函数的 range 是类的实例，然后那个类是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4899-4904	如果整数是另一个整数的 multiplicative 因子，然后有存在实数这样那个实数是整数的 instance 和那个整数 equal 那个另外整数和那个实数

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: