memberType - Sigma Knowledge base Browser

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 20539-20541
(domain memberType 1 Collection)	Mid-level-ontology.kif 20536-20536	domain memberType, 1 and Collection
(domain memberType 2 SetOrClass)	Mid-level-ontology.kif 20537-20537	domain memberType, 2 and SetOrClass
(instance memberType BinaryPredicate)	Mid-level-ontology.kif 20535-20535	instance memberType and BinaryPredicate

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 36937-36937
(termFormat ChineseTraditionalLanguage memberType "會員類型")	domainEnglishFormat.kif 36936-36936
(termFormat EnglishLanguage memberType "member type")	domainEnglishFormat.kif 36935-36935

antecedent

(=>
    (and
        (memberType ?GROUP ?TYPE)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER ?TYPE))

Mid-level-ontology.kif 20543-20547

memberType Collection and SetOrClass member Object and Collection
instance Object and SetOrClass

consequent

(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 166-171	allRoomsPhysicalAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 228-233	allRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 213-218	allRoomsServiceAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2825-2834	numberAdultOccupant Agent and Integer fulfillingEntity Agent and Agent Collection instance Collection and GroupOfPeople memberType Collection and HumanAdult memberCount Collection and Integer potentialCustomer Collection and Agent
(=> (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 2845-2856	numberChildOccupant Agent and Integer fulfillingEntity Agent and Agent Collection Collection instance Collection and GroupOfPeople subCollection Collection and Collection instance Collection and GroupOfPeople memberType Collection and HumanChild memberCount Collection and Integer potentialCustomer Collection and Agent
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2806-2815	numberOccupant Agent and Integer fulfillingEntity Agent and Agent Collection instance Collection and GroupOfPeople memberType Collection and Human memberCount Collection and Integer potentialCustomer Collection and Agent
(=> (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	attribute Object and Florists hasPurpose Object and entity entity instance entity and Designing instance entity and Collection memberType entity and Flower patient entity and entity agent entity and Object
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 23967-23974	instance CorpuscularObject and OutletAdapter Collection instance Collection and Collection memberType Collection and Hole part Collection and CorpuscularObject material Metal and CorpuscularObject
(=> (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 977-990	instance Object and BowlingBall Collection instance Collection and Collection memberType Collection and Hole memberCount Collection and 3 located Collection and Object hasPurpose Collection and entity member entity and Collection instance entity and Finger partiallyFills entity and entity
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1014-1020	instance Object and BowlingFacility Collection instance Collection and Collection memberType Collection and BowlingLane located Collection and Object
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 4049-4051	instance Collection and Fleet memberType Collection and Vehicle
(=> (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 23305-23314	instance Object and SelfServiceLaundry Collection Collection instance Collection and Collection memberType Collection and ClothesWashingMachine located Collection and Object instance Collection and Collection memberType Collection and ClothesDryer located Collection and Object
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?X))))	Mid-level-ontology.kif 23910-23916	instance Object and ElectricalOutlet Collection instance Collection and Collection memberType Collection and Hole part Collection and Object
(=> (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 23918-23926	instance Physical and ElectricalOutlet hasPurpose Physical and entity entity instance entity and PowerSource instance entity and Collection memberType entity and WireLine connectsEngineeringComponents entity, Physical and entity
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1671-1673	instance Collection and HotelMiniBar memberType Collection and FoodForFn Human
(=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice)))	Mid-level-ontology.kif 24099-24103	instance Collection and PublicAddressSystem memberType Collection and Microphone memberType Collection and SpeakerDevice
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 138-140	instance Collection and RoomInventory memberType Collection and HotelUnit
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 25176-25180	instance Collection and SurveillanceSystem memberType Collection and Camera memberType Collection and VideoDisplay
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 20558-20564	memberTypeCount Collection, SetOrClass and NonnegativeInteger Collection subCollection Collection and Collection memberCount Collection and NonnegativeInteger memberType Collection and SetOrClass
(=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 182-187	someRoomsPhysicalAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical
(=> (someRoomsPolicy ?INV ?POLICY) (exists (?X) (and (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 243-248	someRoomsPolicy RoomInventory and Policy HotelUnit memberType RoomInventory and HotelUnit roomPolicy HotelUnit and Policy
(=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC))))	Hotel.kif 198-203	someRoomsServiceAmenity RoomInventory and Physical HotelUnit memberType RoomInventory and HotelUnit roomAmenity HotelUnit and Physical

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: