TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CardinalityFn ChineseLanguage "")	chinese_format.kif 2309-2309
(documentation CardinalityFn EnglishLanguage "(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.")	Merge.kif 5511-5513
(documentation CardinalityFn JapaneseLanguage "(CardinalityFn ?CLASS) は、SetOrClass ?CLASS内のインスタンスの数または ?CLASS Collection のメンバーの数を返す。")	japanese_format.kif 980-981
(domain CardinalityFn 1 (UnionFn SetOrClass Collection))	Merge.kif 5508-5508	势函数的 1 数量是结合集或类和群体的 instance
(instance CardinalityFn UnaryFunction)	Merge.kif 5507-5507	势函数是一元函数的 instance
(range CardinalityFn Integer)	Merge.kif 5509-5509	势函数的 range 是整数的实例

appearance as argument number 2

(format ChineseLanguage CardinalityFn "%1 instance 的数量")	chinese_format.kif 506-506
(format EnglishLanguage CardinalityFn "the number of instances in %1")	english_format.kif 511-511
(format FrenchLanguage CardinalityFn "le nombre d' instances dans %1")	french_format.kif 296-296
(format ItalianLanguage CardinalityFn "il numero di istanzia in %1")	relations-it.txt 41-41
(format JapaneseLanguage CardinalityFn "%1 の instances の数")	japanese_format.kif 2073-2073
(format PortugueseLanguage CardinalityFn "o numero de instancias dentro de %1")	portuguese_format.kif 248-248
(format cb CardinalityFn "ang pananglitan sa %1")	relations-cb.txt 75-75
(format de CardinalityFn "die Zahl Faellen in %1")	relations-de.txt 659-659
(format hi CardinalityFn "%1 ke sadasyon kii sankhyaa")	relations-hindi.txt 83-83
(format ro CardinalityFn "numãrul instances%t{instanþelor} din %1")	relations-ro.kif 317-317
(format sv CardinalityFn "antalet instanser av %1")	relations-sv.txt 324-324
(format tg CardinalityFn "an bilang halimbawa sa %1")	relations-tg.txt 98-98
(termFormat ChineseLanguage CardinalityFn "势函数")	chinese_format.kif 507-507
(termFormat ChineseLanguage CardinalityFn "基数")	domainEnglishFormat.kif 13212-13212
(termFormat ChineseTraditionalLanguage CardinalityFn "基數")	domainEnglishFormat.kif 13211-13211
(termFormat EnglishLanguage CardinalityFn "cardinality")	domainEnglishFormat.kif 13210-13210
(termFormat tg CardinalityFn "tungkulin ng bilang halimbawa")	relations-tg.txt 99-99

antecedent

(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount))	FinancialOntology.kif 1007-1011	实体是个人账户的 instance 和符号串所描述的类别 instance 的数量是 greaterThan 1 若且唯若那个实体是联名账户的 instance
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 8045-8052	如果地缘政治区域是地缘政治区域的 instance 和整数 equal 那个地缘政治区域的 citizenry instance 的数量和另一个整数 equal 那个地缘政治区域的 resident instance 的数量，然后那个另外整数是 greaterThanOrEqualTo 那个整数
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3239-3259	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
(=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?SELLING ?ITEM)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3282-3302	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average selling price equal 那个实数和那个整数
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT))	Government.kif 446-450	如果集或类是集或类的 instance 和那个集或类 instance 的数量 equal 非负整数，然后那个非负整数是那个集或类的 cardinality

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 118-133	年是整数 year 的 instance 和地缘政治区域和那个年每一千里的 deaths equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 156-187	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 migrants equal 实数若且唯若 (那个整数和另一个整数) equal 1 和实体是那个另外整数 year 的 instance 和那个地缘政治区域的 population equal 另一个实数在那个年 holdsDuring 和那个另外实数和 1000 equal 第三实数和第三整数 equal 符号串所描述的类别 instance 的数量和第四整数 equal 那个符号串所描述的类别 instance 的数量和 (那个第三整数和那个第四整数) equal 第四实数和那个第四实数和那个第三实数 equal 那个实数
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 206-223	地缘政治区域的 male 对母性比率 equal 实数若且唯若整数 equal 符号串所描述的类别 instance 的数量和另一个整数 equal 另一个符号串所描述的类别 instance 的数量和那个整数和那个另外整数 equal 那个实数
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	如果 chromosomeSetCount MonoploidChromosomeSet, 群体 and 整数和那个 MonoploidChromosomeSet 是那个群体的真正的子集，然后那个整数 equal 那个整数所描述的类别 instance 的数量
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 2137-2150	如果那只能是整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量 equal 那个整数
(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	如果地缘政治区域是美国城市的 instance 和那个地缘政治区域是加州的 part 和那个地缘政治区域不 equal 洛杉矶加利福尼亚州，然后洛杉矶加利福尼亚州的 resident instance 的数量是 greaterThan 那个地缘政治区域的 resident instance 的数量
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris))))	CountriesAndRegions.kif 59-65	如果地缘政治区域是城市的 instance 和那个地缘政治区域是法国的 part，然后那个地缘政治区域的 resident instance 的数量是 lessThanOrEqualTo 巴黎的 resident instance 的数量
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL))))	UXExperimentalTerms.kif 2887-2903	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是金融交易的 instance ，然后有存在符号串和实体这样那个符号串所描述的类别 instance 的数量 equal 在那个群体裡購買的樣品數量
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE))))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 12136-12142	如果过程是数的 instance 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个实体这样那个有认知的主事 knows 那个实体 instance 的数量 equal 那个另外实体
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT)) (during (WhenFn ?PURCHASE) ?INTERVAL)))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (during (WhenFn ?ACCESSING) ?INTERVAL) (agent ?ACCESSING ?USER))))) (PPIFn ?EXPERIMENT ?INTERVAL)))	UXExperimentalTerms.kif 3095-3114	如果试验是试验的 instance 和时距是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验期间那个时距
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT))))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER))))) (PPSFn ?EXPERIMENT)))	UXExperimentalTerms.kif 3056-3073	如果试验是试验的 instance 和实体是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9463-9467	如果时距是月的 instance 和那个时距的 duration 是整数一天长度，然后分拆那个时距为的日 instance 的数量 equal 那个整数
(=> (and (instance ?PAGE SearchResultsPage) (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE)) (equal (DivisionFn (CardinalityFn (KappaFn ?CLICK (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?ELEMENT) (destination ?CLICK ?LINKEDPAGE) (instance ?ELEMENT HypertextLink) (component ?ELEMENT ?PAGE) (or (instance ?LINKEDPAGE ProductDescriptionPage) (instance ?LINKEDPAGE ViewItemPage))))) (ListLengthFn ?RESULTS)) (SRPEngagementFn ?PAGE)))	UXExperimentalTerms.kif 3721-3739	如果 SearchResultsPage 是 SearchResultsPage 的 instance 和串列是 SRPResults 的 instance 和那个串列是那个 SearchResultsPage 的 component，然后符号串所描述的类别 instance 的数量和那个串列的长度 equal qualifying clicks 在那个 SearchResultsPage
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	如果地缘政治区域是美国国家的 instance 和那个地缘政治区域不 equal 加州，然后加州的 resident instance 的数量是 greaterThan 那个地缘政治区域的 resident instance 的数量
(=> (and (instance ?VISITS Collection) (instance ?HYPERLINK HypertextLink) (forall (?ACCESSING) (and (member ?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (component ?PAGE ?HYPERLINK))))) (exists (?CLICKS) (and (instance ?CLICKS Collection) (forall (?CLICK) (=> (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?HYPERLINK)) (member ?CLICK ?CLICKS))) (equal (ClickThroughRateFn ?VISITS ?HYPERLINK) (DivisionFn (CardinalityFn ?CLICKS) (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3333-3356	如果群体是群体的 instance 和躯体性物体是 HypertextLink 的 instance 和对所有物理那个物理是另一个群体的 member 和那个物理是 AccessingWebPage 的 instance 和那个另外群体是那个躯体性物体的 component，然后有存在第三群体这样那个第三群体是群体的 instance 和对所有过程如果那个过程是 RequestingHyperlink 的 instance 和那个躯体性物体是那个过程的 patient，然后那个过程是那个第三群体的 member 和点击通过那个躯体性物体的 rate 在那个群体 equal 那个第三群体 instance 的数量和那个群体 instance 的数量
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	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 的数量
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2210-2223	如果那里能有最多 %3 values 对于 1% 的参数 2% 和关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量是 lessThanOrEqualTo 整数
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	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

(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA)))))))	People.kif 456-469	年是整数 year 的 instance 和地缘政治区域和那个年每个女人生的 children equal 符号串所描述的类别 instance 的数量
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 872-881	地缘政治区域的 available 军事服务男性 equal 符号串所描述的类别 instance 的数量
(equal (CardinalityFn Continent) 7)	Merge.kif 14182-14182	大陆 instance 的数量 equal 7
(equal (CardinalityFn NativityMagi) 3)	Media.kif 2003-2003	NativityMagi instance 的数量 equal 3
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA)))))	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn 生物 and 地理区域 equal 那个生物I 所描述的类别 instance 的数量
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	地缘政治区域的 population equal 符号串所描述的类别 instance 的数量
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 933-946	地缘政治区域和年每年的 reaching 军事男性年龄 equal 符号串所描述的类别 instance 的数量
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1965-1965	TwelveApostles instance 的数量是 greaterThanOrEqualTo 11
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1966-1966	TwelveApostles instance 的数量是 lessThanOrEqualTo 12

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

KB Term:			Term intersection

English Word: