Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberCount
memberCount

appearance as argument number 1
-------------------------


(documentation memberCount EnglishLanguage "(memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG.") Mid-level-ontology.kif 20826-20827
(domain memberCount 1 Collection) Mid-level-ontology.kif 20823-20823
(domain memberCount 2 Integer) Mid-level-ontology.kif 20824-20824
(instance memberCount BinaryPredicate) Mid-level-ontology.kif 20822-20822

appearance as argument number 2
-------------------------


(format ChineseLanguage memberCount "%2 %n 是 %1 的 member 计数") domainEnglishFormat.kif 1683-1683
(format ChineseTraditionalLanguage memberCount "%2 %n 是 %1 的 member 計數") domainEnglishFormat.kif 1682-1682
(format EnglishLanguage memberCount "%2 is %n a member count of %1") domainEnglishFormat.kif 1681-1681
(termFormat ChineseLanguage memberCount "会员数") domainEnglishFormat.kif 36990-36990
(termFormat ChineseTraditionalLanguage memberCount "會員數") domainEnglishFormat.kif 36989-36989
(termFormat EnglishLanguage memberCount "member count") domainEnglishFormat.kif 36988-36988

antecedent
-------------------------


(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))
Mid-level-ontology.kif 7297-7304
(=>
    (and
        (instance ?S Spamming)
        (instance ?G GroupOfPeople)
        (memberCount ?G ?N)
        (destination ?S ?G))
    (modalAttribute
        (greaterThan ?N 100) Likely))
ComputingBrands.kif 4158-4166
(=>
    (and
        (instance ?X Kidnapping)
        (instance ?G GroupOfPeople)
        (memberCount ?G ?N)
        (patient ?X ?G))
    (lessThan ?N 3))
Mid-level-ontology.kif 20176-20182
(=>
    (and
        (memberCount ?GROUP ?NUMBER1)
        (memberTypeCount ?GROUP ?TYPE ?NUMBER2))
    (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 20868-20872
(=>
    (and
        (seatsInOrganizationCount ?ORG ?SEATS)
        (memberCount ?ORG ?MEMBERS))
    (greaterThanOrEqualTo ?SEATS ?MEMBERS))
Government.kif 2060-2064
(=>
    (memberCount ?ORG ?NUM)
    (equal ?NUM
        (CardinalityFn
            (KappaFn ?MEM
                (member ?MEM ?ORG)))))
Mid-level-ontology.kif 20829-20835

consequent
-------------------------


(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1531-1542
(<=>
    (ethnicityPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1550-1561
(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))
People.kif 1569-1580
(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6672-6692
(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))
Cars.kif 1786-1800
(=>
    (and
        (instance ?FLEET Fleet)
        (fleetSize ?AGENT ?NUM)
        (possesses ?AGENT ?FLEET))
    (memberCount ?FLEET ?NUM))
Mid-level-ontology.kif 3461-3466
(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 459-470
(=>
    (and
        (numberAdultOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL HumanAdult)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2839-2848
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2859-2870
(=>
    (and
        (numberOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL Human)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2820-2829
(=>
    (and
        (numberOfCustomers ?NUM ?RESERVE)
        (fulfillingEntity ?AGENT ?RESERVE)
        (reservingEntity ?CUST ?RESERVE))
    (exists (?GRP)
        (and
            (potentialCustomer ?GRP ?AGENT)
            (instance ?GRP GroupOfPeople)
            (member ?CUST ?GRP)
            (memberCount ?GRP ?NUM))))
Dining.kif 686-696
(=>
    (and
        (numberSeniorOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (forall (?X)
                (=>
                    (member ?X ?COL)
                    (and
                        (instance ?X HumanAdult)
                        (age ?X
                            (MeasureFn ?AGE YearDuration))
                        (greaterThanOrEqualTo ?AGE 60))))
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2881-2896
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 29087-29102
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 29031-29041
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 29054-29069
(=>
    (capacityByArrangement ?AREA ?PROP ?INT)
    (=>
        (represents ?AREA ?PROP)
        (modalAttribute
            (exists (?GRP)
                (and
                    (instance ?GRP GroupOfPeople)
                    (memberCount ?GRP ?PPL)
                    (lessThanOrEqualTo ?PPL ?INT)
                    (located ?GRP ?AREA))) Possibility)))
Hotel.kif 769-779
(=>
    (coilCount ?WC ?N)
    (exists (?C)
        (and
            (instance ?C Collection)
            (memberCount ?C ?N)
            (forall (?M)
                (=>
                    (member ?M ?C)
                    (and
                        (attribute ?M ClosedTwoDimensionalFigure)
                        (part ?M ?WC)
                        (not
                            (exists (?M2)
                                (and
                                    (overlapsSpatially ?M2 ?M)
                                    (member ?M2 ?C))))))))))
Cars.kif 3131-3147
(=>
    (heartRate ?H ?T ?I)
    (exists (?C)
        (and
            (instance ?C Collection)
            (memberType ?C HeartBeat)
            (memberCount ?C ?I)
            (=>
                (member ?M ?C)
                (and
                    (patient ?M ?H)
                    (during
                        (WhenFn ?M) ?T))))))
Mid-level-ontology.kif 9201-9213
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES Hole)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER)
                    (and
                        (member ?FINGER ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))
Sports.kif 979-992
(=>
    (instance ?B Bus)
    (hasPurpose ?B
        (exists (?C ?T ?N)
            (and
                (instance ?C Collection)
                (instance ?T Transportation)
                (memberCount ?C ?N)
                (greaterThan ?N 11)
                (=>
                    (member ?P ?C)
                    (patient ?T ?P))))))
Transportation.kif 1980-1991
(=>
    (instance ?PARK ParkingLot)
    (exists (?C ?N)
        (and
            (located ?C ?PARK)
            (forall (?SLOT)
                (=>
                    (member ?SLOT ?C)
                    (instance ?SLOT ParkingRegion)))
            (memberCount ?C ?N)
            (greaterThan ?N 1))))
TransportDetail.kif 78-88
(=>
    (instance ?X HighRise)
    (exists (?LEVELS ?NUM)
        (and
            (instance ?LEVELS Collection)
            (forall (?FLR)
                (=>
                    (and
                        (instance ?FLR BuildingLevel)
                        (part ?FLR ?X))
                    (member ?FLR ?LEVELS)))
            (memberCount ?LEVELS ?NUM)
            (greaterThanOrEqualTo ?NUM 10))))
Mid-level-ontology.kif 24627-24639
(=>
    (instance ?X Tennis)
    (exists (?T1 ?T2)
        (and
            (contestParticipant ?X ?T1)
            (contestParticipant ?X ?T2)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?T1 Human)
                (and
                    (instance ?T1 GroupOfPeople)
                    (memberCount ?T1 2)))
            (or
                (instance ?T2 Human)
                (and
                    (instance ?T2 GroupOfPeople)
                    (memberCount ?T2 2))))))
Sports.kif 710-726
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20860-20866
(=>
    (numberOfFloors ?BLDG ?NUM)
    (exists (?FLOORS)
        (and
            (forall (?X)
                (=>
                    (and
                        (instance ?X BuildingLevel)
                        (part ?X ?BLDG))
                    (member ?X ?FLOORS)))
            (memberCount ?FLOORS ?NUM))))
Hotel.kif 684-694

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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