memberType |
appearance as argument number 1 |
![]() |
(documentation memberType EnglishLanguage "(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the Class ?TYPE.") | Mid-level-ontology.kif 24293-24295 | |
(domain memberType 1 Collection) | Mid-level-ontology.kif 24290-24290 | |
(domain memberType 2 Class) | Mid-level-ontology.kif 24291-24291 | |
(instance memberType BinaryPredicate) | Mid-level-ontology.kif 24289-24289 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage memberType "%2 %n 是 %1 的 member 类别") | domainEnglishFormat.kif 1699-1699 | |
(format ChineseTraditionalLanguage memberType "%2 %n 是 %1 的 member 類別") | domainEnglishFormat.kif 1698-1698 | |
(format EnglishLanguage memberType "%2 is %n a member type of %1") | domainEnglishFormat.kif 1697-1697 | |
(termFormat ChineseLanguage memberType "会员类型") | domainEnglishFormat.kif 37046-37046 | |
(termFormat ChineseTraditionalLanguage memberType "會員類型") | domainEnglishFormat.kif 37045-37045 | |
(termFormat EnglishLanguage memberType "member type") | domainEnglishFormat.kif 37044-37044 |
antecedent |
![]() |
consequent |
![]() |
(=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 171-176 | |
(=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY)))) |
Hotel.kif 233-238 | |
(=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 218-223 | |
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii)))) |
Economy.kif 4307-4322 | |
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M DurumWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X TriticumUrartu) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsSpeltoides)))) |
Economy.kif 4248-4263 | |
(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass)))) |
Economy.kif 4216-4231 | |
(=> (and (instance ?GUN RevolverGun) (part ?CY ?GUN) (instance ?CY GunCylinder)) (modalAttribute (exists (?COLL) (and (part ?COLL ?CY) (instance ?COLL Collection) (memberType ?COLL GunChamber) (memberCount ?COLL 6))) Likely)) |
Mid-level-ontology.kif 2061-2072 | |
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2894-2903 | |
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2914-2925 | |
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2875-2884 | |
(=> (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 32892-32907 | |
(=> (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 32834-32844 | |
(=> (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 32859-32874 | |
(=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI))))))) |
Medicine.kif 4028-4041 | |
(=> (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 | |
(=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 11717-11729 | |
(=> (equal ?M (MarketOfItemFn ?OBJCLASS)) (and (instance ?M MarketEconomics) (memberType ?M ?OBJCLASS))) |
Economy.kif 6711-6715 | |
(=> (equal ?M (MarketOfItemInRegionFn ?OBJ ?REGION)) (and (instance ?M MarketEconomics) (located ?M ?REGION) (memberType ?M ?OBJ))) |
Economy.kif 6745-6750 | |
(=> (equal ?NUMDEMANDED (DemandFn ?ME)) (exists (?DESIREDITEMS ?ITEMCLASS) (and (instance ?DESIREDITEMS Collection) (memberCount ?DESIREDITEMS ?NUMDEMANDED) (memberType ?ME ?ITEMCLASS) (=> (and (instance ?H Human) (instance ?ITEM ?ITEMCLASS) (=> (and (instance ?B1 Buying) (patient ?B1 ?ITEM)) (capability ?B1 agent ?H)) (desires ?H (exists (?B2 ?ITEM) (and (instance ?B2 Buying) (transactionAmount ?B2 ?CM) (patient ?B2 ?ITEM) (member ?ITEM ?ME) (agent ?B2 ?H))))) (member ?ITEM ?DESIREDITEMS))))) |
Economy.kif 6792-6816 | |
(=> (heartRate ?H ?T ?I) (exists (?C ?M) (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 11674-11686 | |
(=> (instance ?AB ArtilleryBattery) (exists (?COLL) (and (instance ?COLL Collection) (memberType ?COLL ArtilleryGun) (memberCount ?COLL ?I) (greaterThan ?I 2) (possesses ?AB ?COLL)))) |
MilitaryPersons.kif 505-513 | |
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 27866-27873 | |
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1139-1152 | |
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1176-1182 | |
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3959-3961 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |