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
-------------------------


(documentation memberType EnglishLanguage "(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the SetOrClass ?TYPE.") Mid-level-ontology.kif 20846-20848
(domain memberType 1 Collection) Mid-level-ontology.kif 20843-20843
(domain memberType 2 SetOrClass) Mid-level-ontology.kif 20844-20844
(instance memberType BinaryPredicate) Mid-level-ontology.kif 20842-20842

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


(format ChineseLanguage memberType "%2 %n 是 %1 的 member 类别") domainEnglishFormat.kif 1695-1695
(format ChineseTraditionalLanguage memberType "%2 %n 是 %1 的 member 類別") domainEnglishFormat.kif 1694-1694
(format EnglishLanguage memberType "%2 is %n a member type of %1") domainEnglishFormat.kif 1693-1693
(termFormat ChineseLanguage memberType "会员类型") domainEnglishFormat.kif 37026-37026
(termFormat ChineseTraditionalLanguage memberType "會員類型") domainEnglishFormat.kif 37025-37025
(termFormat EnglishLanguage memberType "member type") domainEnglishFormat.kif 37024-37024

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


(=>
    (and
        (memberType ?GROUP ?TYPE)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER ?TYPE))
Mid-level-ontology.kif 20850-20854

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


(=>
    (allRoomsPhysicalAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))
Hotel.kif 166-171
(=>
    (allRoomsPolicy ?INV ?POLICY)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))
Hotel.kif 228-233
(=>
    (allRoomsServiceAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))
Hotel.kif 213-218
(=>
    (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
        (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 29093-29108
(=>
    (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 29037-29047
(=>
    (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 29060-29075
(=>
    (attribute ?X Florists)
    (hasPurpose ?X
        (exists (?FLOWER ?PROC)
            (and
                (instance ?PROC Designing)
                (instance ?FLOWER Collection)
                (memberType ?FLOWER Flower)
                (patient ?PROC ?FLOWER)
                (agent ?PROC ?X)))))
naics.kif 7780-7789
(=>
    (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 ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 24097-24104
(=>
    (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 ?BF BowlingFacility)
    (exists (?BL)
        (and
            (instance ?BL Collection)
            (memberType ?BL BowlingLane)
            (located ?BL ?BF))))
Sports.kif 1016-1022
(=>
    (instance ?FLEET Fleet)
    (memberType ?FLEET Vehicle))
Mid-level-ontology.kif 3449-3451
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G)
        (and
            (instance ?G Collection)
            (member ?M ?G)
            (memberType ?G Agent))))
Mid-level-ontology.kif 7289-7295
(=>
    (instance ?RC RibCage)
    (memberType ?RC Rib))
Mid-level-ontology.kif 9902-9904
(=>
    (instance ?ROOM SelfServiceLaundry)
    (exists (?WASHER ?DRYER)
        (and
            (instance ?WASHER Collection)
            (memberType ?WASHER ClothesWashingMachine)
            (located ?WASHER ?ROOM)
            (instance ?DRYER Collection)
            (memberType ?DRYER ClothesDryer)
            (located ?DRYER ?ROOM))))
Mid-level-ontology.kif 23509-23518
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 24040-24046
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE Collection)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 24048-24056
(=>
    (instance ?X HotelMiniBar)
    (memberType ?X
        (FoodForFn Human)))
Hotel.kif 1685-1687
(=>
    (instance ?X PublicAddressSystem)
    (and
        (memberType ?X Microphone)
        (memberType ?X SpeakerDevice)))
Mid-level-ontology.kif 24227-24231
(=>
    (instance ?X RoomInventory)
    (memberType ?X HotelUnit))
Hotel.kif 138-140
(=>
    (instance ?X SurveillanceSystem)
    (and
        (memberType ?X Camera)
        (memberType ?X VideoDisplay)))
Mid-level-ontology.kif 25099-25103
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20865-20871

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