CardinalityFn - Sigma 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	Die Zahl 1 Argument von CardinalityFn ist ein fall von die vereinigung von SetOrClass und Collection %n{nicht}
(instance CardinalityFn UnaryFunction)	Merge.kif 5507-5507	CardinalityFn ist ein fall von UnaryFunction %n{nicht}
(range CardinalityFn Integer)	Merge.kif 5509-5509	bildbereich von CardinalityFn ist ein fall von Integer {nicht}

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	Entity ist ein fall von PersonalAccount %n{nicht} und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist groesserAls 1 %n{nicht} genau dann wenn ** Entity ist ein fall von JointAccount %n{nicht}
(=> (and (instance ?AREA GeopoliticalArea) (equal ?CITIZENRY (CardinalityFn (CitizenryFn ?AREA))) (equal ?POPULATION (CardinalityFn (ResidentFn ?AREA)))) (greaterThanOrEqualTo ?POPULATION ?CITIZENRY))	Mid-level-ontology.kif 8045-8052	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Integer ist gleich die Zahl Faellen in CitizenryFn GeopoliticalArea %n{nicht} und Integer ist gleich die Zahl Faellen in ResidentFn GeopoliticalArea %n{nicht}, dann Integer ist groesserAlsOderGleich Integer %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und RealNumber ist ein fall von CurrencyMeasure %n{nicht} und Integer ist ein fall von RealNumber %n{nicht} und RealNumber ist gleich GMBFn Collection %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}, dann ABPFn Collection ist gleich RealNumber und Integer %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und RealNumber ist ein fall von CurrencyMeasure %n{nicht} und Integer ist ein fall von RealNumber %n{nicht} und RealNumber ist gleich GMVFn Collection %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}, dann ASPFn Collection ist gleich RealNumber und Integer %n{nicht}
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT))	Government.kif 446-450	Wenn SetOrClass ist ein fall von SetOrClass %n{nicht} und die Zahl Faellen in SetOrClass ist gleich NonnegativeInteger %n{nicht}, dann cardinality SetOrClass and ** NonnegativeInteger

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	Year ist ein fall von das jahr YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and RealNumber
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr Integer %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und RealNumber und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ( Integer und Integer) ist gleich RealNumber %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht}
(<=> (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	MaleToFemaleRatioFn GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und Integer ist gleich RealNumber %n{nicht}
(=> (and (chromosomeSetCount ?SUB ?COLL ?I) (subCollection ?SUB ?COLL)) (equal ?I (CardinalityFn (KappaFn ?I (subCollection ?SUB ?COLL)))))	VirusProteinAndCellPart.kif 829-836	Wenn chromosomeSetCount MonoploidChromosomeSet, Collection and Integer und MonoploidChromosomeSet ist eine korrekte teilsammlung von Collection %n{nicht}, dann Integer ist gleich die Zahl Faellen in die kategorie die Integer beschreibt %n{nicht}
(=> (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	Wenn exactCardinality Relation, PositiveInteger and Integer und Relation ist ein fall von Predicate %n{nicht}, dann es gibt Class, Entity, and und @ARGS um Class ist ein fall von SetOrClass %n{nicht} und wenn Relation @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann Entity ist ein fall von Class %n{nicht} und die Zahl Faellen in Class ist gleich ** Integer %n{nicht}
(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	Wenn GeopoliticalArea ist ein fall von AmericanCity %n{nicht} und GeopoliticalArea ist ein teil von California %n{nicht} und GeopoliticalArea ist gleich LosAngelesCalifornia nicht, dann die Zahl Faellen in ResidentFn LosAngelesCalifornia ist groesserAls die Zahl Faellen in ResidentFn ** GeopoliticalArea %n{nicht}
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris))))	CountriesAndRegions.kif 59-65	Wenn GeopoliticalArea ist ein fall von City %n{nicht} und GeopoliticalArea ist ein teil von France %n{nicht}, dann die Zahl Faellen in ResidentFn GeopoliticalArea ist kleinerAlsOderGleich die Zahl Faellen in ResidentFn Paris %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von FinancialTransaction %n{nicht} , dann es gibt SymbolicString und entity um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BoughtItemsFn ** Collection %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann die Zahl Faellen in es gibt entity, entity, and und entity um die kategorie die entity beschreibt und die Zahl Faellen in Collection ist gleich BidCountFn Collection %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann es gibt SymbolicString, entity,, , entity, and und SymbolicString um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BidCountFn ** Collection %n{nicht}
(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY) ?NUMBER))))	Merge.kif 12136-12142	Wenn Process ist ein fall von Counting %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt entity um CognitiveAgent kennt die Zahl Faellen in Entity ist gleich ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPIFn Experimenting and ** TimeInterval %n{nicht}
(=> (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	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Entity ist ein fall von TimeInterval %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich PPSFn Experimenting %n{nicht}
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9463-9467	Wenn TimeInterval ist ein fall von Month %n{nicht} und dauer von TimeInterval ist Integer DayDuration(s) %n{nicht}, dann die Zahl Faellen in Aufspaltung von TimeInterval auf Days ist gleich ** Integer %n{nicht}
(=> (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	Wenn SearchResultsPage ist ein fall von SearchResultsPage %n{nicht} und List ist ein fall von SRPResults %n{nicht} und List ist ein bestandteil von SearchResultsPage %n{nicht}, dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und Laenge von List ist gleich SRPEngagementFn SearchResultsPage %n{nicht}
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	Wenn GeopoliticalArea ist ein fall von AmericanState %n{nicht} und GeopoliticalArea ist gleich California nicht, dann die Zahl Faellen in ResidentFn California ist groesserAls die Zahl Faellen in ResidentFn GeopoliticalArea %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und CorpuscularObject ist ein fall von HypertextLink %n{nicht} und fuer alle Physical Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein fall von AccessingWebPage %n{nicht} und Collection ist ein bestandteil von CorpuscularObject %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und fuer alle Process wenn Process ist ein fall von RequestingHyperlink %n{nicht} und CorpuscularObject ist ein patient von Process %n{nicht}, dann Process ist ein Mitglied von Collection %n{nicht} und ClickThroughRateFn Collection and CorpuscularObject ist gleich die Zahl Faellen in Collection und die Zahl Faellen in Collection %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und Collection ist ein fall von Collection %n{nicht} und Collection ist eine korrekte teilsammlung von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von AccessingWebPage %n{nicht} und fuer alle Process, AutonomousAgent,, , Process,, , Process, and und Object wenn AutonomousAgent ist ein fall von Human %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein fall von AccessingWebPage %n{nicht} und Object ist ein fall von WebPage %n{nicht} und Process ist ein Mitglied von Collection %n{nicht} und Process endet an Object %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann Process ist ein Mitglied von Collection %n{nicht} , dann es gibt TimeInterval, entity_IN_INTERVAL, and und entity_IN_INTERVAL um SCRFn Collection and TimeInterval ist gleich die Zahl Faellen in die kategorie die entity_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** entity_IN_INTERVAL beschreibt %n{nicht}
(=> (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	Wenn maxCardinality Relation, PositiveInteger and Integer und Relation ist ein fall von Predicate %n{nicht}, dann es gibt Class, Entity, and und @ARGS um Class ist ein fall von SetOrClass %n{nicht} und wenn Relation @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann Entity ist ein fall von Class %n{nicht} und die Zahl Faellen in Class ist kleinerAlsOderGleich ** Integer %n{nicht}
(=> (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	Wenn minCardinality Relation, PositiveInteger and Integer und Relation ist ein fall von Predicate %n{nicht}, dann es gibt Class, Entity, and und @ARGS um Class ist ein fall von SetOrClass %n{nicht} und wenn Relation @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann Entity ist ein fall von Class %n{nicht} und die Zahl Faellen in Class ist groesserAlsOderGleich ** Integer %n{nicht}

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 ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(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	AvailableForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(equal (CardinalityFn Continent) 7)	Merge.kif 14182-14182	Die Zahl Faellen in Continent ist gleich 7 %n{nicht}
(equal (CardinalityFn NativityMagi) 3)	Media.kif 2003-2003	Die Zahl Faellen in NativityMagi ist gleich 3 %n{nicht}
(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	FitForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?AREA)))))	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn Organism and GeographicArea ist gleich die Zahl Faellen in die kategorie die ** OrganismI beschreibt %n{nicht}
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31712-31717	PopulationFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(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	ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1965-1965	Die Zahl Faellen in TwelveApostles ist groesserAlsOderGleich 11 %n{nicht}
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1966-1966	Die Zahl Faellen in TwelveApostles ist kleinerAlsOderGleich 12 %n{nicht}

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: