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 20564-20566
(domain memberType 1 Collection)	Mid-level-ontology.kif 20561-20561	domain memberType, 1 and Collection
(domain memberType 2 SetOrClass)	Mid-level-ontology.kif 20562-20562	domain memberType, 2 and SetOrClass
(instance memberType BinaryPredicate)	Mid-level-ontology.kif 20560-20560	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 36958-36958
(termFormat ChineseTraditionalLanguage memberType "會員類型")	domainEnglishFormat.kif 36957-36957
(termFormat EnglishLanguage memberType "member type")	domainEnglishFormat.kif 36956-36956

antecedent

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

Mid-level-ontology.kif 20568-20572

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 23992-23999	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 4055-4057	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 23330-23339	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 23935-23941	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 23943-23951	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 24124-24128	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 25201-25205	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 20583-20589	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: