|
|
  desires
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Bed EnglishLanguage "A piece of Furniture which is primarily for sleeping.") | Mid-level-ontology.kif 4213-4213 | |
| (externalImage Bed "http://articulatesoftware.com/SUMOpictures/household/ bedroom/ Bed_19.png") | pictureList.kif 266-266 | |
| (externalImage Bed "http://upload.wikimedia.org/wikipedia/commons/0/0a/Bed.agr.jpg") | pictureList.kif 37-37 | |
| (subclass Bed Furniture) | Mid-level-ontology.kif 4212-4212 | Bed est une sous-classe de Furniture |
| appearance as argument number 2 |
|
|
| (subclass BunkBed Bed) | Mid-level-ontology.kif 4316-4316 | BunkBed est une sous-classe de Bed |
| (subclass Crib Bed) | Mid-level-ontology.kif 4383-4383 | Crib est une sous-classe de Bed |
| (subclass DoubleBed Bed) | Mid-level-ontology.kif 4279-4279 | DoubleBed est une sous-classe de Bed |
| (subclass Hammock Bed) | Mid-level-ontology.kif 4396-4396 | Hammock est une sous-classe de Bed |
| (subclass KingBed Bed) | Mid-level-ontology.kif 4222-4222 | KingBed est une sous-classe de Bed |
| (subclass MurphyBed Bed) | Mid-level-ontology.kif 4331-4331 | MurphyBed est une sous-classe de Bed |
| (subclass QueenBed Bed) | Mid-level-ontology.kif 4253-4253 | QueenBed est une sous-classe de Bed |
| (subclass RollawayBed Bed) | Mid-level-ontology.kif 4352-4352 | RollawayBed est une sous-classe de Bed |
| (subclass SingleBed Bed) | Mid-level-ontology.kif 4305-4305 | SingleBed est une sous-classe de Bed |
| (subclass SofaBed Bed) | Mid-level-ontology.kif 4364-4364 | SofaBed est une sous-classe de Bed |
| (termFormat ChineseLanguage Bed "床") | domainEnglishFormat.kif 10464-10464 | SofaBed est une sous-classe de Bed |
| (termFormat ChineseTraditionalLanguage Bed "床") | domainEnglishFormat.kif 10463-10463 | SofaBed est une sous-classe de Bed |
| (termFormat EnglishLanguage Bed "bed") | domainEnglishFormat.kif 10462-10462 | SofaBed est une sous-classe de Bed |
| antecedent |
|
|
| (=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4497-4504 |
|
| (=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED))))) |
Mid-level-ontology.kif 4215-4220 |
| consequent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR BedAttribute)) (instance ?X Bed)) |
Mid-level-ontology.kif 4545-4549 | |
| (=> (holdsDuring ?T (attribute ?H Bedridden)) (holdsDuring ?T (modalAttribute (exists (?B) (and (instance ?B Bed) (located ?H ?B))) Likely))) |
Mid-level-ontology.kif 12372-12381 | |
| (=> (instance ?BLANKET Blanket) (hasPurpose ?BLANKET (exists (?HEAT ?PERSON ?BED) (and (instance ?HEAT Heating) (patient ?HEAT ?PERSON) (instance ?PERSON Human) (located ?PERSON ?BED) (instance ?BED Bed))))) |
Mid-level-ontology.kif 6372-6381 | |
| (=> (instance ?ROOM Bedroom) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Mid-level-ontology.kif 16960-16965 | |
| (=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Hotel.kif 96-101 | |
| (=> (instance ?RV RecreationalVehicle) (modalAttribute (exists (?BED ?DINING ?KITCHEN) (and (instance ?BED Bed) (instance ?DINING DiningArea) (instance ?KITCHEN KitchenArea) (located ?BED ?RV) (located ?DINING ?RV) (located ?KITCHEN ?RV))) Likely)) |
Mid-level-ontology.kif 27668-27678 | |
| (=> (instance ?X BedLinen) (hasPurpose ?X (exists (?COVER ?BED) (and (instance ?COVER Covering) (patient ?COVER ?BED) (instance ?BED Bed) (instrument ?COVER ?X))))) |
Mid-level-ontology.kif 4574-4582 | |
| (=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED)))) |
Mid-level-ontology.kif 4477-4482 |
|
| (=> (instance ?X TurndownService) (exists (?FOLD ?BED ?SHEET) (and (instance ?FOLD Folding) (instance ?SHEET BedLinen) (instance ?BED Bed) (located ?SHEET ?BED) (patient ?FOLD ?SHEET) (subProcess ?FOLD ?X)))) |
Hotel.kif 1964-1973 |
|
|
|
