TreeView 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 22094-22096
(domain memberType 1 Collection)	Mid-level-ontology.kif 22091-22091	The number 1 argument of member type is an instance of collection
(domain memberType 2 SetOrClass)	Mid-level-ontology.kif 22092-22092	The number 2 argument of member type is an instance of set or class
(instance memberType BinaryPredicate)	Mid-level-ontology.kif 22090-22090	member type is an instance of binary predicate

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

If a class is a member type of a collection and a physical is a member of the collection,
then the physical is an instance of the class

consequent

(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 166-171	If all rooms in a room inventory have a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY))))	Hotel.kif 228-233	If all rooms in a room inventory have policy a policy, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then the policy is a policy that applies to the kind of hotel unit
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ))))	Hotel.kif 213-218	If all rooms in a room inventory have service a kind of physical, then for all a kind of hotel unit if a kind of hotel unit is a member type of the room inventory, then a kind of physical is an amenity in the kind of hotel unit
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2852-2861	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other 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 2872-2883	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other 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 2833-2842	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (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 30352-30367	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
(=> (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 30296-30306	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
(=> (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 30319-30334	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
(=> (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 7773-7782	If florists is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of designing and the entity is an instance of collection and flower is a member type of the entity and the entity is a patient of the other entity and the object is an agent of the other entity
(=> (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 9913-9925	If a heart beats at a rate of an integer beats per a time interval, then there exists a collection such that the collection is an instance of collection and HeartBeat is a member type of the collection and the integer is a member count of the collection and if a process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25355-25362	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1053-1066	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1090-1096	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 3468-3470	If a collection is an instance of Fleet, then vehicle is a member type of the collection
(=> (instance ?LGP LargeGroupProcess) (exists (?G) (and (instance ?G Collection) (member ?M ?G) (memberType ?G Agent))))	Mid-level-ontology.kif 7601-7607	If an entity is an instance of LargeGroupProcess, then there exists a collection such that the collection is an instance of collection and a physical is a member of the collection and agent is a member type of the collection
(=> (instance ?RC RibCage) (memberType ?RC Rib))	Mid-level-ontology.kif 10745-10747	If a collection is an instance of RibCage, then rib is a member type of the collection
(=> (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 24754-24763	If an object is an instance of self-service laundry, then there exist a collection and another collection such that the collection is an instance of collection and clothes washing machine is a member type of the collection and the collection is located at the object and the other collection is an instance of collection and clothes dryer is a member type of the other collection and the other collection is located at the object
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?X))))	Mid-level-ontology.kif 25298-25304	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the 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 25306-25314	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1698-1700	If a collection is an instance of mini bar, then food for human is a member type of the collection
(=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice)))	Mid-level-ontology.kif 25485-25489	If a collection is an instance of public address system, then microphone is a member type of the collection and speaker is a member type of the collection
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 138-140	If a collection is an instance of room inventory, then hotel unit is a member type of the collection
(=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay)))	Mid-level-ontology.kif 26357-26361	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 22113-22119	If a collection is member type count a set or class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the set or class is a member type of the other collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: