| 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 20570-20572 | |
| (domain memberType 1 Collection) | Mid-level-ontology.kif 20567-20567 | |
| (domain memberType 2 SetOrClass) | Mid-level-ontology.kif 20568-20568 | |
| (instance memberType BinaryPredicate) | Mid-level-ontology.kif 20566-20566 |
| 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 37033-37033 | |
| (termFormat ChineseTraditionalLanguage memberType "會員類型") | domainEnglishFormat.kif 37032-37032 | |
| (termFormat EnglishLanguage memberType "member type") | domainEnglishFormat.kif 37031-37031 |
| antecedent |
|
|
| (=> (and (memberType ?GROUP ?TYPE) (member ?MEMBER ?GROUP)) (instance ?MEMBER ?TYPE)) |
Mid-level-ontology.kif 20574-20578 |
| consequent |
|
|
| (=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 166-171 | |
| (=> (allRoomsPolicy ?INV ?POLICY) (forall (?X) (=> (memberType ?INV ?X) (roomPolicy ?X ?POLICY)))) |
Hotel.kif 228-233 | |
| (=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 213-218 | |
| (=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2826-2835 | |
| (=> (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 2846-2857 | |
| (=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2807-2816 | |
| (=> (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 | |
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 23998-24005 | |
| (=> (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 ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF)))) |
Sports.kif 1014-1020 | |
| (=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 4055-4057 | |
| (=> (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 23336-23345 | |
| (=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 23941-23947 | |
| (=> (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 23949-23957 | |
| (=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human))) |
Hotel.kif 1672-1674 | |
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 24130-24134 | |
| (=> (instance ?X RoomInventory) (memberType ?X HotelUnit)) |
Hotel.kif 138-140 | |
| (=> (instance ?X SurveillanceSystem) (and (memberType ?X Camera) (memberType ?X VideoDisplay))) |
Mid-level-ontology.kif 25207-25211 | |
| (=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE)))) |
Mid-level-ontology.kif 20589-20595 | |
| (=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 182-187 | |
| (=> (someRoomsPolicy ?INV ?POLICY) (exists (?X) (and (memberType ?INV ?X) (roomPolicy ?X ?POLICY)))) |
Hotel.kif 243-248 | |
| (=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC)))) |
Hotel.kif 198-203 |
|
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