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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberType
memberType

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


s__documentation(s__memberType__m,s__EnglishLanguage,'"(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the SetOrClass ?TYPE."')

Mid-level-ontology.kif 21123-21125
s__domain(s__memberType__m,n__1,s__Collection)

Mid-level-ontology.kif 21120-21120 The number 1 argument of member type is an instance of collection
s__domain(s__memberType__m,n__2,s__SetOrClass)

Mid-level-ontology.kif 21121-21121 The number 2 argument of member type is an instance of set or class
s__instance(s__memberType__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 21119-21119 member type is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__memberType__m,'"%2 %n 是 %1 的 member 类别"')

domainEnglishFormat.kif 1695-1695
s__format(s__ChineseTraditionalLanguage,s__memberType__m,'"%2 %n 是 %1 的 member 類別"')

domainEnglishFormat.kif 1694-1694
s__format(s__EnglishLanguage,s__memberType__m,'"%2 is %n a member type of %1"')

domainEnglishFormat.kif 1693-1693
s__termFormat(s__ChineseLanguage,s__memberType__m,'"会员类型"')

domainEnglishFormat.kif 37026-37026
s__termFormat(s__ChineseTraditionalLanguage,s__memberType__m,'"會員類型"')

domainEnglishFormat.kif 37025-37025
s__termFormat(s__EnglishLanguage,s__memberType__m,'"member type"')

domainEnglishFormat.kif 37024-37024

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


( ! [V__GROUP,V__TYPE,V__MEMBER] :
   (((s__instance(V__GROUP,s__Collection) &
         s__instance(V__TYPE,s__Class) &
         s__instance(V__MEMBER,s__Physical))
       =>
       (((s__memberType(V__GROUP,V__TYPE)
           &
           s__member(V__MEMBER,V__GROUP))
       =>
       (s__instance(V__MEMBER,V__TYPE)))))
)
)

Mid-level-ontology.kif 21127-21131

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


( ! [V__OBJ,V__INV] :
   (((s__subclass(V__OBJ,s__Object) &
         s__subclass(V__OBJ,s__Physical) &
         s__instance(V__INV,s__RoomInventory))
       =>
       ((s__allRoomsPhysicalAmenity(V__INV,V__OBJ)
         =>
         (( ! [V__X] :
             (((s__instance(V__X,s__SetOrClass) &
                   s__subclass(V__X,s__HotelUnit))
                 =>
                 ((s__memberType(V__INV,V__X)
                   =>
                   (s__roomAmenity(V__X,V__OBJ)))))))))))
)
)

Hotel.kif 166-171
( ! [V__POLICY,V__INV] :
   (((s__instance(V__POLICY,s__Policy) &
         s__instance(V__INV,s__RoomInventory))
       =>
       ((s__allRoomsPolicy(V__INV,V__POLICY)
         =>
         (( ! [V__X] :
             (((s__instance(V__X,s__SetOrClass) &
                   s__subclass(V__X,s__HotelUnit))
                 =>
                 ((s__memberType(V__INV,V__X)
                   =>
                   (s__roomPolicy(V__X,V__POLICY)))))))))))
)
)

Hotel.kif 228-233
( ! [V__OBJ,V__INV] :
   (((s__subclass(V__OBJ,s__ServiceProcess) &
         s__subclass(V__OBJ,s__Physical) &
         s__instance(V__INV,s__RoomInventory))
       =>
       ((s__allRoomsServiceAmenity(V__INV,V__OBJ)
         =>
         (( ! [V__X] :
             (((s__instance(V__X,s__SetOrClass) &
                   s__subclass(V__X,s__HotelUnit))
                 =>
                 ((s__memberType(V__INV,V__X)
                   =>
                   (s__roomAmenity(V__X,V__OBJ)))))))))))
)
)

Hotel.kif 213-218
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberAdultOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__memberType(V__COL,s__HumanAdult) &
               s__memberCount(V__COL,V__NUM)
             &
             s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2839-2848
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberChildOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL, V__SUBCOL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__subCollection(V__SUBCOL,V__COL)
             &
             s__instance(V__SUBCOL,s__GroupOfPeople) &
             s__memberType(V__SUBCOL,s__HumanChild) &
             s__memberCount(V__SUBCOL,V__NUM)
           &
           s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2859-2870
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__memberType(V__COL,s__Human) &
               s__memberCount(V__COL,V__NUM)
             &
             s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2820-2829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29369-29384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29313-29323
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29336-29351
No TPTP formula. May not be expressible in strict first order. naics.kif 7780-7789
( ! [V__T,V__H,V__I,V__M] :
   (((s__instance(V__T,s__TimeInterval) &
         s__instance(V__H,s__Heart) &
         s__instance(V__I,s__Integer) &
         s__instance(V__M,s__Process))
       =>
       ((s__heartRate(V__H,V__T,V__I)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Collection) &
                 s__memberType(V__C,s__HeartBeat) &
                 s__memberCount(V__C,V__I)
               &
               (s__member(V__M,V__C)
               =>
               ((s__patient(V__M,V__H)
                 &
                 s__during(s__WhenFn(V__M)
              ,V__T)))))))))))
)
)

Mid-level-ontology.kif 9343-9355
( ! [V__ADAPT] :
   ((s__instance(V__ADAPT,s__OutletAdapter) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__ADAPT)
             &
             s__material(s__Metal,V__ADAPT))))))
)
)

Mid-level-ontology.kif 24373-24380
No TPTP formula. May not be expressible in strict first order. Sports.kif 979-992
( ! [V__BF] :
   ((s__instance(V__BF,s__BowlingFacility) =>
       (( ? [V__BL] :
           ((s__instance(V__BL,s__Collection) &
               s__memberType(V__BL,s__BowlingLane) &
               s__located(V__BL,V__BF))))))
   )
)

Sports.kif 1016-1022
( ! [V__FLEET] :
   ((s__instance(V__FLEET,s__Fleet) =>
       (s__memberType(V__FLEET,s__Vehicle)))
     )
   )

Mid-level-ontology.kif 3449-3451
( ! [V__LGP,V__M] :
   ((s__instance(V__M,s__Physical) =>
       ((s__instance(V__LGP,s__LargeGroupProcess) =>
           (( ? [V__G] :
               ((s__instance(V__G,s__Collection) &
                   s__member(V__M,V__G)
                 &
                 s__memberType(V__G,s__Agent))))))))
   )
)

Mid-level-ontology.kif 7409-7415
( ! [V__RC] :
   ((s__instance(V__RC,s__RibCage) =>
       (s__memberType(V__RC,s__Rib)))
     )
   )

Mid-level-ontology.kif 10082-10084
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__SelfServiceLaundry) =>
       (( ? [V__WASHER, V__DRYER] :
           ((s__instance(V__WASHER,s__Collection) &
               s__memberType(V__WASHER,s__ClothesWashingMachine) &
               s__located(V__WASHER,V__ROOM)
             &
             s__instance(V__DRYER,s__Collection) &
             s__memberType(V__DRYER,s__ClothesDryer) &
             s__located(V__DRYER,V__ROOM))))))
)
)

Mid-level-ontology.kif 23785-23794
( ! [V__X] :
   ((s__instance(V__X,s__ElectricalOutlet) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__X))))))
   )
)

Mid-level-ontology.kif 24316-24322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24324-24332
( ! [V__X] :
   ((s__instance(V__X,s__HotelMiniBar) =>
       (s__memberType(V__X,s__FoodForFn(s__Human))))
   )
)

Hotel.kif 1685-1687
( ! [V__X] :
   ((s__instance(V__X,s__PublicAddressSystem) =>
       ((s__memberType(V__X,s__Microphone) &
           s__memberType(V__X,s__SpeakerDevice))))
     )
   )

Mid-level-ontology.kif 24503-24507
( ! [V__X] :
   ((s__instance(V__X,s__RoomInventory) =>
       (s__memberType(V__X,s__HotelUnit)))
     )
   )

Hotel.kif 138-140
( ! [V__X] :
   ((s__instance(V__X,s__SurveillanceSystem) =>
       ((s__memberType(V__X,s__Camera) &
           s__memberType(V__X,s__VideoDisplay))))
     )
   )

Mid-level-ontology.kif 25375-25379
( ! [V__GROUP,V__TYPE,V__NUMBER] :
   (((s__instance(V__GROUP,s__Collection) &
         s__instance(V__TYPE,s__SetOrClass) &
         s__instance(V__NUMBER,s__NonnegativeInteger))
       =>
       ((s__memberTypeCount(V__GROUP,V__TYPE,V__NUMBER)
         =>
         (( ? [V__SUBGROUP] :
             ((s__instance(V__SUBGROUP,s__Collection) &
                 (s__subCollection(V__SUBGROUP,V__GROUP)
                 &
                 s__memberCount(V__SUBGROUP,V__NUMBER)
               &
               s__memberType(V__SUBGROUP,V__TYPE)))))))))
)
)

Mid-level-ontology.kif 21142-21148

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