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 22652-22654 | |
(domain memberType 1 Collection) | Mid-level-ontology.kif 22649-22649 | |
(domain memberType 2 Class) | Mid-level-ontology.kif 22650-22650 | |
(instance memberType BinaryPredicate) | Mid-level-ontology.kif 22648-22648 |
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 37037-37037 | |
(termFormat ChineseTraditionalLanguage memberType "會員類型") | domainEnglishFormat.kif 37036-37036 | |
(termFormat EnglishLanguage memberType "member type") | domainEnglishFormat.kif 37035-37035 |
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 3970-3985 | |
(=> (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 3911-3926 | |
(=> (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 3879-3894 | |
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2883-2892 | |
(=> (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 2903-2914 | |
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2864-2873 | |
(=> (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 30956-30971 | |
(=> (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 30898-30908 | |
(=> (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 30923-30938 | |
(=> (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 4025-4038 | |
(=> (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 10386-10398 | |
(=> (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 10345-10357 | |
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 25968-25975 | |
(=> (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 1125-1138 | |
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1162-1168 | |
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3516-3518 | |
(=> (instance ?LGP LargeGroupProcess) (exists (?G ?M) (and (instance ?G Collection) (member ?M ?G) (memberType ?G AutonomousAgent)))) |
Mid-level-ontology.kif 7932-7938 | |
(=> (instance ?RC RibCage) (memberType ?RC RibBone)) |
Mid-level-ontology.kif 11243-11245 | |
(=> (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 25402-25411 | |
(=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 11483-11485 | |
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 25911-25917 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |