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

Formal Language: 



KB Term:  Term intersection
English Word: 

  memberCount

Sigma KEE - memberCount
memberCount

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


s__documentation(s__memberCount__m,s__EnglishLanguage,'(memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG.')

Mid-level-ontology.kif 20504-20505
s__domain(s__memberCount__m,1,s__Collection)

Mid-level-ontology.kif 20501-20501 The number 1 argument of member count is an instance of collection
s__domain(s__memberCount__m,2,s__Integer)

Mid-level-ontology.kif 20502-20502 The number 2 argument of member count is an instance of integer
s__instance(s__memberCount__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 20500-20500 member count is an instance of binary predicate

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


s__format(s__EnglishLanguage,s__memberCount__m,'%2 is %n a member count of %1')

domainEnglishFormat.kif 429-429
s__termFormat(s__EnglishLanguage,s__memberCount__m,'member count')

domainEnglishFormat.kif 6587-6587 "member count" is the printable form of member count in english language

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


( ∀ [V__N,V__X,V__G]
   (s__instance(V__N,s__Integer)s__=>((s__instance(V__X,s__Kidnapping)s__and__ms__instance(V__G,s__GroupOfPeople)s__and__ms__memberCount(V__G,V__N)
      s__and__ms__patient(V__X,V__G))
  s__=>s__lessThan(V__N,3)))
)

Mid-level-ontology.kif 19737-19743
( ∀ [V__GROUP,V__NUMBER1,V__NUMBER2,V__TYPE]
   ((s__instance(V__GROUP,s__Collection)s__and__ms__instance(V__NUMBER1,s__Integer)s__and__ms__instance(V__NUMBER2,s__NonnegativeInteger)s__and__ms__instance(V__TYPE,s__SetOrClass))
    s__=>((s__memberCount(V__GROUP,V__NUMBER1)
      s__and__ms__memberTypeCount(V__GROUP,V__TYPE,V__NUMBER2))
  s__=>s__greaterThanOrEqualTo(V__NUMBER1,V__NUMBER2)))
)

Mid-level-ontology.kif 20553-20557
( ∀ [V__ORG,V__SEATS,V__MEMBERS]
   ((s__instance(V__ORG,s__Organization)s__and__ms__instance(V__SEATS,s__Integer)s__and__ms__instance(V__MEMBERS,s__Integer))
    s__=>((s__seatsInOrganizationCount(V__ORG,V__SEATS)
      s__and__ms__memberCount(V__ORG,V__MEMBERS))
  s__=>s__greaterThanOrEqualTo(V__SEATS,V__MEMBERS)))
)

Government.kif 2034-2038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20507-20513

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


( ∀ [V__P,V__P2,V__N1,V__R,V__N2,V__BG,V__N]
   ((s__instance(V__P,s__Object)s__and__ms__instance(V__P2,s__Object)s__and__ms__instance(V__N1,s__Integer)s__and__ms__instance(V__R,s__GeographicArea)s__and__ms__instance(V__N2,s__Integer)s__and__ms__instance(V__BG,s__BeliefGroup)s__and__ms__instance(V__N,s__RealNumber))
    s__=>(s__beliefGroupPercentInRegion(V__BG,V__N,V__R)
    s__<⇒
    (s__exists__m[V__G1,V__G2]
       (s__instance(V__G1,s__Collection)s__and__ms__instance(V__G2,s__Collection)s__and__m(s__located(V__P,V__R)
      s__and__ms__member(V__P,V__BG)
    s__and__ms__member(V__P,V__G1)
  s__and__ms__memberCount(V__G1,V__N1)
s__and__ms__located(V__P2,V__R)
s__and__ms__member(V__P2,V__G2)
s__and__ms__memberCount(V__G2,V__N2)
s__and__m(s__DivisionFn(V__N,100)
s__equal__ms__DivisionFn(V__N1,V__N2)))))))
)

People.kif 1526-1537 A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the belief group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
( ∀ [V__P,V__P2,V__N1,V__R,V__N2,V__BG,V__N]
   ((s__instance(V__P,s__Object)s__and__ms__instance(V__P2,s__Object)s__and__ms__instance(V__N1,s__Integer)s__and__ms__instance(V__R,s__GeographicArea)s__and__ms__instance(V__N2,s__Integer)s__and__ms__instance(V__BG,s__EthnicGroup)s__and__ms__instance(V__N,s__RealNumber))
    s__=>(s__ethnicityPercentInRegion(V__BG,V__N,V__R)
    s__<⇒
    (s__exists__m[V__G1,V__G2]
       (s__instance(V__G1,s__Collection)s__and__ms__instance(V__G2,s__Collection)s__and__m(s__located(V__P,V__R)
      s__and__ms__member(V__P,V__BG)
    s__and__ms__member(V__P,V__G1)
  s__and__ms__memberCount(V__G1,V__N1)
s__and__ms__located(V__P2,V__R)
s__and__ms__member(V__P2,V__G2)
s__and__ms__memberCount(V__G2,V__N2)
s__and__m(s__DivisionFn(V__N,100)
s__equal__ms__DivisionFn(V__N1,V__N2)))))))
)

People.kif 1545-1556 A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the ethnic group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
( ∀ [V__P,V__P2,V__N1,V__R,V__N2,V__L,V__N]
   ((s__instance(V__P,s__SentientAgent)s__and__ms__instance(V__P2,s__Object)s__and__ms__instance(V__N1,s__Integer)s__and__ms__instance(V__R,s__GeographicArea)s__and__ms__instance(V__N2,s__Integer)s__and__ms__instance(V__L,s__Language)s__and__ms__instance(V__N,s__RealNumber))
    s__=>(s__languagePercentInRegion(V__L,V__N,V__R)
    s__<⇒
    (s__exists__m[V__G1,V__G2]
       (s__instance(V__G1,s__Collection)s__and__ms__instance(V__G2,s__Collection)s__and__m(s__located(V__P,V__R)
      s__and__ms__member(V__P,V__G1)
    s__and__ms__speaksLanguage(V__P,V__L)
  s__and__ms__memberCount(V__G1,V__N1)
s__and__ms__located(V__P2,V__R)
s__and__ms__member(V__P2,V__G2)
s__and__ms__memberCount(V__G2,V__N2)
s__and__m(s__DivisionFn(V__N,100)
s__equal__ms__DivisionFn(V__N1,V__N2)))))))
)

People.kif 1564-1575 A real number percent of people in a geographic area speak a language if and only if there exist a collection and another collection such that a sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
( ∀ [V__MBR,V__X,V__C,V__Sub,V__S]
   ((s__instance(V__MBR,s__Object)s__and__ms__instance(V__X,s__Integer))
    s__=>((s__instance(V__C,s__Crystal)s__and__ms__attribute(V__C,s__MonoCrystalline)s__and__ms__instance(V__Sub,s__Substance)s__and__ms__attribute(V__Sub,s__Solid)s__and__ms__attribute(V__Sub,s__PolyCrystalline)s__and__ms__instance(V__S,s__Substance)s__and__ms__surface(V__S,V__Sub)
      s__and__m(s__not__ms__part(V__C,V__S)))
s__=>(s__exists__m[V__CLNT]
   (s__instance(V__CLNT,s__Collection)s__and__ms__memberCount(V__CLNT,V__X)
  s__and__ms__greaterThanOrEqualTo(V__X,4)
s__and__m(s__member(V__MBR,V__CLNT)
s__=>(s__part(V__MBR,V__Sub)
s__and__ms__meetsSpatially(V__C,V__MBR)))))))
)

Geography.kif 6464-6484
( ∀ [V__E,V__ECLASS,V__CLASS,V__CS1,V__N,V__G]
   ((s__instance(V__E,s__Object)s__and__ms__subclass(V__ECLASS,s__ElementalSubstance)s__and__ms__instance(V__ECLASS,s__SetOrClass)s__and__ms__instance(V__CLASS,s__SetOrClass)s__and__ms__subclass(V__CLASS,s__CompoundSubstance)s__and__ms__instance(V__CS1,s__Object)s__and__ms__instance(V__N,s__Integer))
    s__=>((s__instance(V__CS1,V__CLASS)
      s__and__ms__subclass(V__CLASS,s__CompoundSubstance)s__and__m(s__not__m(s__exists__m[V__CS2]
       (s__instance(V__CS2,s__Object)s__and__m(s__instance(V__CS2,V__CLASS)
      s__and__ms__part(V__CS2,V__CS1)))))
s__and__ms__molecularRatio(V__ECLASS,V__N,V__CLASS)
s__and__ms__instance(V__G,s__Group)s__and__ms__member(V__E,V__G)
s__and__ms__part(V__E,V__CS1)
s__and__ms__instance(V__E,V__ECLASS))
s__=>s__memberCount(V__G,V__N)))
)

Cars.kif 1767-1781
( ∀ [V__AGENT,V__NUM,V__FLEET]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__instance(V__FLEET,s__Fleet)s__and__ms__fleetSize(V__AGENT,V__NUM)
      s__and__ms__possesses(V__AGENT,V__FLEET))
  s__=>s__memberCount(V__FLEET,V__NUM)))
)

Mid-level-ontology.kif 4065-4070
No TPTP formula. May not be expressible in strict first order. Hotel.kif 452-463
( ∀ [V__RESERVE,V__HOTEL,V__NUM]
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberAdultOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL]
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__memberType(V__COL,s__HumanAdult)s__and__ms__memberCount(V__COL,V__NUM)
    s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2819-2828
( ∀ [V__RESERVE,V__HOTEL,V__NUM]
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberChildOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL,V__SUBCOL]
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__subCollection(V__SUBCOL,V__COL)
    s__and__ms__instance(V__SUBCOL,s__GroupOfPeople)s__and__ms__memberType(V__SUBCOL,s__HumanChild)s__and__ms__memberCount(V__SUBCOL,V__NUM)
  s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2839-2850
( ∀ [V__RESERVE,V__HOTEL,V__NUM]
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL]
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__memberType(V__COL,s__Human)s__and__ms__memberCount(V__COL,V__NUM)
    s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2800-2809
( ∀ [V__AGENT,V__RESERVE,V__CUST,V__NUM]
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__RESERVE,s__Reservation)s__and__ms__instance(V__CUST,s__Agent)s__and__ms__instance(V__NUM,s__PositiveInteger))
    s__=>((s__numberOfCustomers(V__NUM,V__RESERVE)
      s__and__ms__fulfillingEntity(V__AGENT,V__RESERVE)
    s__and__ms__reservingEntity(V__CUST,V__RESERVE))
s__=>(s__exists__m[V__GRP]
   (s__potentialCustomer(V__GRP,V__AGENT)
  s__and__ms__instance(V__GRP,s__GroupOfPeople)s__and__ms__member(V__CUST,V__GRP)
s__and__ms__memberCount(V__GRP,2)))))
)

Dining.kif 690-700
( ∀ [V__RESERVE,V__HOTEL,V__NUM,V__AGE]
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer)s__and__ms__instance(V__AGE,s__RealNumber))
    s__=>((s__numberSeniorOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL]
     (s__instance(V__COL,s__GroupOfPeople)s__and__m(s__forall__m[V__X]
       (s__member(V__X,V__COL)
      s__=>(s__instance(V__X,s__HumanAdult)s__and__ms__age(V__X,s__MeasureFn(V__AGE,s__YearDuration))
      s__and__ms__greaterThanOrEqualTo(V__AGE,60))))
s__and__ms__memberCount(V__COL,V__NUM)
s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2861-2876
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-769
( ∀ [V__WC,V__N]
   ((s__instance(V__WC,s__WireCoil)s__and__ms__instance(V__N,s__Integer))
    s__=>(s__coilCount(V__WC,V__N)
    s__=>(s__exists__m[V__C]
       (s__instance(V__C,s__Collection)s__and__ms__memberCount(V__C,V__N)
      s__and__m(s__forall__m[V__M]
       (s__instance(V__M,s__Object)s__=>(s__member(V__M,V__C)
        s__=>(s__attribute(V__M,s__ClosedTwoDimensionalFigure)s__and__ms__part(V__M,V__WC)
        s__and__m(s__not__m(s__exists__m[V__M2]
         (s__instance(V__M2,s__Object)s__and__m(s__overlapsSpatially(V__M2,V__M)
        s__and__ms__member(V__M2,V__C)))))))))))))
)

Cars.kif 3088-3104
No TPTP formula. May not be expressible in strict first order. Sports.kif 975-988
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1936-1947
( ∀ [V__PARK]
   (s__instance(V__PARK,s__ParkingLot)s__=>(s__exists__m[V__C,V__N]
       (s__instance(V__C,s__Collection)s__and__ms__instance(V__N,s__Integer)s__and__m(s__located(V__C,V__PARK)
      s__and__m(s__forall__m[V__SLOT]
       (s__member(V__SLOT,V__C)
      s__=>s__instance(V__SLOT,s__ParkingRegion)))
  s__and__ms__memberCount(V__C,V__N)
s__and__ms__greaterThan(V__N,1)))))
)

TransportDetail.kif 78-88
( ∀ [V__X]
   (s__instance(V__X,s__HighRise)s__=>(s__exists__m[V__LEVELS,V__NUM]
       (s__instance(V__NUM,s__Integer)s__and__m(s__instance(V__LEVELS,s__Collection)s__and__m(s__forall__m[V__FLR]
         ((s__instance(V__FLR,s__BuildingLevel)s__and__ms__part(V__FLR,V__X))
        s__=>s__member(V__FLR,V__LEVELS)))
  s__and__ms__memberCount(V__LEVELS,V__NUM)
s__and__ms__greaterThanOrEqualTo(V__NUM,10)))))
)

Mid-level-ontology.kif 24614-24626
( ∀ [V__X]
   (s__instance(V__X,s__Tennis)s__=>(s__exists__m[V__T1,V__T2]
       (s__contestParticipant(V__X,V__T1)
      s__and__ms__contestParticipant(V__X,V__T2)
    s__and__m(s__not__m(V__T1s__equal__mV__T2))
  s__and__m(s__instance(V__T1,s__Human)s__or__m(s__instance(V__T1,s__GroupOfPeople)s__and__ms__memberCount(V__T1,2)))
s__and__m(s__instance(V__T2,s__Human)s__or__m(s__instance(V__T2,s__GroupOfPeople)s__and__ms__memberCount(V__T2,2))))))
)

Sports.kif 706-722
( ∀ [V__GROUP,V__TYPE,V__NUMBER]
   ((s__instance(V__GROUP,s__Collection)s__and__ms__instance(V__TYPE,s__SetOrClass)s__and__ms__instance(V__NUMBER,s__NonnegativeInteger))
    s__=>(s__memberTypeCount(V__GROUP,V__TYPE,V__NUMBER)
    s__=>(s__exists__m[V__SUBGROUP]
       (s__instance(V__SUBGROUP,s__Collection)s__and__m(s__subCollection(V__SUBGROUP,V__GROUP)
      s__and__ms__memberCount(V__SUBGROUP,V__NUMBER)
    s__and__ms__memberType(V__SUBGROUP,V__TYPE))))))
)

Mid-level-ontology.kif 20545-20551
( ∀ [V__BLDG,V__NUM]
   ((s__instance(V__BLDG,s__Building)s__and__ms__instance(V__NUM,s__Integer))
    s__=>(s__numberOfFloors(V__BLDG,V__NUM)
    s__=>(s__exists__m[V__FLOORS]
       (s__instance(V__FLOORS,s__Collection)s__and__m((s__forall__m[V__X]
           ((s__instance(V__X,s__BuildingLevel)s__and__ms__part(V__X,V__BLDG))
          s__=>s__member(V__X,V__FLOORS)))
    s__and__ms__memberCount(V__FLOORS,V__NUM))))))
)

Hotel.kif 674-684


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

Show without tree


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