CardinalityFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CardinalityFn ChineseLanguage "")	Merge.kif 7964-7964
(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 7960-7962
(documentation CardinalityFn JapaneseLanguage "(CardinalityFn ?CLASS) は、SetOrClass ?CLASS内のインスタンスの数または ?CLASS Collection のメンバーの数を返す。")	Merge.kif 7966-7967
(domain CardinalityFn 1 (UnionFn SetOrClass Collection))	Merge.kif 7957-7957	CardinalityFn の数値 1 引数は同じセットまたはクラスとコレクションの union の instance では %n
(instance CardinalityFn AsymmetricRelation)	Merge.kif 7956-7956	CardinalityFn は非対称関係の instance では %n
(instance CardinalityFn TotalValuedRelation)	Merge.kif 7955-7955	CardinalityFn は合計値関係の instance では %n
(instance CardinalityFn UnaryFunction)	Merge.kif 7954-7954	CardinalityFn は 1変数関数の instance では %n
(range CardinalityFn Integer)	Merge.kif 7958-7958	CardinalityFn の range は整数のインスタンスでは %n

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 712-712
(format JapaneseLanguage CardinalityFn "%1 の instances の数")	english_format.kif 713-713
(termFormat ChineseLanguage CardinalityFn "势函数")	chinese_format.kif 507-507	termFormat ChineseLanguage, CardinalityFn and "势函数"
(termFormat ChineseLanguage CardinalityFn "基数")	domainEnglishFormat.kif 13153-13153	termFormat ChineseLanguage, CardinalityFn and "基数"
(termFormat ChineseTraditionalLanguage CardinalityFn "基數")	domainEnglishFormat.kif 13152-13152	termFormat ChineseTraditionalLanguage, CardinalityFn and "基數"
(termFormat EnglishLanguage CardinalityFn "cardinality")	domainEnglishFormat.kif 13151-13151	termFormat EnglishLanguage, CardinalityFn and "cardinality"

antecedent

(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount))	FinancialOntology.kif 952-956	エンティティーは PersonalAccount の instance では %n エンティティー class の instances の数は 1 より greater では　%n エンティティーは JointAccount の instance では %n
(=> (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 ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3444-3464	コレクションはコレクションの instance では %n 通貨測定は通貨測定の instance では %n 整数は実数の instance では %n 通貨測定は GMBFn コレクションと equal では %n 整数はエンティティー class の instances の数と equal では %n ABPFn コレクションは通貨測定 + 整数と equal では %n
(=> (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 ?ITEM ?BUYING)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL)))	UXExperimentalTerms.kif 3487-3507	コレクションはコレクションの instance では %n 通貨測定は通貨測定の instance では %n 整数は実数の instance では %n 通貨測定は GMVFn コレクションと equal では %n 整数はエンティティー class の instances の数と equal では %n ASPFn コレクションは通貨測定 + 整数と equal では %n
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT))	Government.kif 435-439	同じセットまたはクラスは同じセットまたはクラスの instance では %n 同じセットまたはクラスの instances の数は非負整数と equal では %n cardinality 同じセットまたはクラス and 非負整数

consequent

(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 104-117	BirthsPerThousandFn 地政学的地域 and 整数 year 目は実数と equal では %n PopulationFn 地政学的地域 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 量は実数と equal では %n
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 138-151	DeathsPerThousandFn 地政学的地域 and 整数 year 目は実数と equal では %n PopulationFn 地政学的地域 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 量は実数と equal では %n
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	DeathsPerThousandLiveBirthsFn 地政学的地域 and 整数 year 目は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 量は実数と equal では %n
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 411-442	FemaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 323-353	LifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 367-398	MaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (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 221-238	MaleToFemaleRatioFn 地政学的地域は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 整数は実数と equal では %n
(<=> (equal (MigrantsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1) (holdsDuring (YearFn ?YEAR) (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (not (inhabits ?PERSON ?AREA))) (holdsDuring (YearFn ?YEAR) (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring (YearFn ?PREVIOUSYEAR) (inhabits ?PERSON ?AREA)) (holdsDuring (YearFn ?YEAR) (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 174-202	MigrantsPerThousandFn 地政学的地域 and 整数 year 目は実数と equal では %n ( 整数 + 量) は 1 と equal では %n PopulationFn 地政学的地域は量と equal では %n は整数 year 目の during holds %n{ない} 量 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n ( 整数 + 整数) は量と equal では %n 量 + 量は実数と equal では %n
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 2134-2147	exactCardinality 関係, 正の整数 and 整数関係は述語の instance では %n 同じセットまたはクラス同じセットまたはクラスは同じセットまたはクラスの instance では %n 関係 @ARGS エンティティーは (@ARGS) の正の整数th element と equal では %n エンティティーは同じセットまたはクラスの instance では %n 同じセットまたはクラスの instances の数は整数と equal では %n
(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	地政学的地域は AmericanCity の instance では %n 地政学的地域は California の part では %n 地政学的地域は LosAngelesCalifornia と equal では ResidentFn LosAngelesCalifornia の instances の数は ResidentFn 地政学的地域の instances の数より greater では　%n
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris))))	CountriesAndRegions.kif 59-65	地政学的地域は都市の instance では %n 地政学的地域は France の part では %n ResidentFn 地政学的地域の instances の数は ResidentFn Paris の instances の数より less または同等では %n
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3093-3108	コレクションはコレクションの instance では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは金融取引の instance では %n エンティティー class の instances の数は BoughtItemsFn コレクションと equal では %n
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (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 3127-3144	コレクションはコレクションの instance では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは WebListing の instance では %n エンティティー class の instances の数は BidCountFn コレクションと equal では %n
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (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 3052-3076	コレクションはコレクションの instance では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは WebListing の instance では %n エンティティー class の instances の数 + コレクションの instances の数は BidCountFn コレクションと equal では %n
(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 16418-16424	工程は計数の instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n エンティティー認識エージェントはエンティティーの instances の数はエンティティーと equal では %n を knows %n{ない}
(=> (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 3299-3318	Experimenting は Experimenting の instance では %n 時間間隔は時間間隔の instance では %n エンティティー class の instances の数 + エンティティー class の instances の数は PPIFn Experimenting and 時間間隔と equal では %n
(=> (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 3260-3277	Experimenting は Experimenting の instance では %n エンティティーは時間間隔の instance では %n エンティティー class の instances の数 + エンティティー class の instances の数は PPSFn Experimenting と equal では %n
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 13147-13151	時間間隔は月の instance では %n 時間間隔の duration は整数の DayDuration(s) では %n 時間間隔をの日s に decomposition の instances の数は整数と equal では %n
(=> (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 3916-3934	SRP は SearchResultsPage の instance では %n リストは SRPResults の instance では %n リストは SRP の component では %n エンティティー class の instances の数 + リストの length は SRPEngagementFn SRP と equal では %n
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	地政学的地域は AmericanState の instance では %n 地政学的地域は California と equal では ResidentFn California の instances の数は ResidentFn 地政学的地域の instances の数より greater では　%n
(=> (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 3527-3550	コレクションはコレクションの instance では %n 微粒子オブジェクトは HypertextLink の instance では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは AccessingWebPage の instance では %n コレクションは微粒子オブジェクトの component では %n コレクションコレクションはコレクションの instance では %n 工程工程は RequestingHyperlink の instance では %n 微粒子オブジェクトは工程の patient では %n 工程はコレクションの member では %n ClickThroughRateFn コレクション and 微粒子オブジェクトはコレクションの instances の数 + コレクションの instances の数と equal では %n
(=> (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 ?QUALIFYING_PURCHASES)))) (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 3864-3899	コレクションはコレクションの instance では %n コレクションはコレクションの instance では %n コレクションはコレクションの適切な sub-collection では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは AccessingWebPage の instance では %n 工程代理(人), オブジェクト, 工程 and オブジェクト代理(人) は人［人間］の instance では %n 工程は購買の instance では %n オブジェクトは AccessingWebPage の instance では %n オブジェクトは WebPage の instance では %n オブジェクトはコレクションの member では %n オブジェクトはオブジェクトに ends %n{ない} 代理(人) は工程の agent では %n 代理(人) はオブジェクトの agent では %n 工程の time の existence はオブジェクトの time の existence の during に takes %n{ない} オブジェクトは工程の instrument では %n 工程はエンティティー_PURCHASES の member では %n SCRFn コレクション and 時間間隔はエンティティー_IN_INTERVALで記述される class の instances の数 + エンティティー_IN_INTERVALで記述される class の instances の数と equal では %n
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2205-2218	maxCardinality 関係, 正の整数 and 整数関係は述語の instance では %n 同じセットまたはクラス同じセットまたはクラスは同じセットまたはクラスの instance では %n 関係 @ARGS エンティティーは (@ARGS) の正の整数th element と equal では %n エンティティーは同じセットまたはクラスの instance では %n 同じセットまたはクラスの instances の数は整数より less または同等では %n
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2170-2183	minCardinality 関係, 正の整数 and 整数関係は述語の instance では %n 同じセットまたはクラス同じセットまたはクラスは同じセットまたはクラスの instance では %n 関係 @ARGS エンティティーは (@ARGS) の正の整数th element と equal では %n エンティティーは同じセットまたはクラスの instance では %n 同じセットまたはクラスの instances の数は整数 greater では　%n
(=> (atomicNumber ?TYPE ?NUMBER) (=> (and (instance ?SUBSTANCE ?TYPE) (part ?ATOM ?SUBSTANCE) (instance ?ATOM Atom)) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton)))))))	Merge.kif 18137-18149	atomicNumber 単体 and 正の整数オブジェクトは単体の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは原子の instance では %n 正の整数はエンティティー class の instances の数と equal では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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 867-876	AvailableForMilitaryServiceMaleFn 地政学的地域はエンティティー class の instances の数と equal では %n
(equal (CardinalityFn Continent) 7)	Merge.kif 18574-18574	大陸の instances の数は 7 と equal では %n
(equal (CardinalityFn NativityMagi) 3)	Media.kif 2005-2005	NativityMagi の instances の数は 3 と equal では %n
(equal (ChildrenBornPerWomanFn ?AREA (YearFn ?YEAR)) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring (YearFn ?YEAR) (inhabits ?WOMAN ?AREA))))))	People.kif 462-472	ChildrenBornPerWomanFn 地政学的地域 and 整数 year 目はエンティティー class の instances の数と equal では %n
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 890-901	FitForMilitaryServiceMaleFn 地政学的地域はエンティティー class の instances の数と equal では %n
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	People.kif 49-54	PopulationFn 地政学的地域はエンティティー class の instances の数と equal では %n
(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 928-941	ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年はエンティティー class の instances の数と equal では %n
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1967-1967	TwelveApostles の instances の数は 11 greater では　%n
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1968-1968	TwelveApostles の instances の数は 12 より less または同等では %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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: