CardinalityFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5511-5513
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5508-5508	势函数的 1 数量是结合集或类和群体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5507-5507	势函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	势函数的 range 是整数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.	french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 98-98
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13212-13212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13211-13211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13210-13210
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 99-99

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	实体是个人账户的 instance 和符号串所描述的类别 instance 的数量是 greaterThan 1 若且唯若那个实体是联名账户的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	如果地缘政治区域是地缘政治区域的 instance 和整数 equal 那个地缘政治区域的 citizenry instance 的数量和另一个整数 equal 那个地缘政治区域的 resident instance 的数量，然后那个另外整数是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average selling price equal 那个实数和那个整数
No TPTP formula. May not be expressible in strict first order.	Government.kif 446-450	如果集或类是集或类的 instance 和那个集或类 instance 的数量 equal 非负整数，然后那个非负整数是那个集或类的 cardinality

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	年是整数 year 的 instance 和地缘政治区域和那个年每一千里的 deaths equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 migrants equal 实数若且唯若 (那个整数和另一个整数) equal 1 和实体是那个另外整数 year 的 instance 和那个地缘政治区域的 population equal 另一个实数在那个年 holdsDuring 和那个另外实数和 1000 equal 第三实数和第三整数 equal 符号串所描述的类别 instance 的数量和第四整数 equal 那个符号串所描述的类别 instance 的数量和 (那个第三整数和那个第四整数) equal 第四实数和那个第四实数和那个第三实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	地缘政治区域的 male 对母性比率 equal 实数若且唯若整数 equal 符号串所描述的类别 instance 的数量和另一个整数 equal 另一个符号串所描述的类别 instance 的数量和那个整数和那个另外整数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后那个整数 equal 那个整数所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	如果那只能是整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	如果地缘政治区域是美国城市的 instance 和那个地缘政治区域是加州的 part 和那个地缘政治区域不 equal 洛杉矶加利福尼亚州，然后洛杉矶加利福尼亚州的 resident instance 的数量是 greaterThan 那个地缘政治区域的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	如果地缘政治区域是城市的 instance 和那个地缘政治区域是法国的 part，然后那个地缘政治区域的 resident instance 的数量是 lessThanOrEqualTo 巴黎的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是金融交易的 instance ，然后有存在符号串和实体这样那个符号串所描述的类别 instance 的数量 equal 在那个群体裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12136-12142	如果过程是数的 instance 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个实体这样那个有认知的主事 knows 那个实体 instance 的数量 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	如果试验是试验的 instance 和时距是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	如果试验是试验的 instance 和实体是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9463-9467	如果时距是月的 instance 和那个时距的 duration 是整数一天长度，然后分拆那个时距为的日 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	如果 SearchResultsPage 是 SearchResultsPage 的 instance 和串列是 SRPResults 的 instance 和那个串列是那个 SearchResultsPage 的 component，然后符号串所描述的类别 instance 的数量和那个串列的长度 equal qualifying clicks 在那个 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	如果地缘政治区域是美国国家的 instance 和那个地缘政治区域不 equal 加州，然后加州的 resident instance 的数量是 greaterThan 那个地缘政治区域的 resident instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	如果群体是群体的 instance 和躯体性物体是 HypertextLink 的 instance 和对所有物理那个物理是另一个群体的 member 和那个物理是 AccessingWebPage 的 instance 和那个另外群体是那个躯体性物体的 component，然后有存在第三群体这样那个第三群体是群体的 instance 和对所有过程如果那个过程是 RequestingHyperlink 的 instance 和那个躯体性物体是那个过程的 patient，然后那个过程是那个第三群体的 member 和点击通过那个躯体性物体的 rate 在那个群体 equal 那个第三群体 instance 的数量和那个群体 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有物理如果那个物理是那个群体的 member，然后那个物理是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个过程,，，那个过程， and 和客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外过程是 AccessingWebPage 的 instance 和那个客体是 WebPage 的 instance 和那个另外过程是那个群体的 member 和那个另外过程在那个客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 在那个另外过程出现的 time 时段内发生和那个客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后有存在时距，实体_IN_INTERVAL， and 和另一个实体_IN_INTERVAL 这样 purchases 花在那个群体期间那个时距 equal 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	如果那里能有最多 %3 values 对于 1% 的参数 2% 和关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量是 lessThanOrEqualTo 整数
No TPTP formula. May not be expressible in strict first order.	Media.kif 2174-2187	如果那里至少有整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量是 greaterThanOrEqualTo 那个整数

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	People.kif 456-469	年是整数 year 的 instance 和地缘政治区域和那个年每个女人生的 children equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	地缘政治区域的 available 军事服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14182-14182	大陆 instance 的数量 equal 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2003-2003	NativityMagi instance 的数量 equal 3
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn 生物 and 地理区域 equal 那个生物I 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31712-31717	地缘政治区域的 population equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	地缘政治区域和年每年的 reaching 军事男性年龄 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Media.kif 1965-1965	TwelveApostles instance 的数量是 greaterThanOrEqualTo 11
No TPTP formula. May not be expressible in strict first order.	Media.kif 1966-1966	TwelveApostles instance 的数量是 lessThanOrEqualTo 12

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: