Bed(bed)![]() ![]() | ![]() | bed, berth, built-in_bed, built_in_bed, bunk, camp_bed, corncrib, cot, crib, deathbed, marriage_bed, plank-bed, platform_bed, sickbed, sleigh_bed, truckle, truckle_bed, trundle, trundle_bed |
appearance as argument number 1 |
![]() |
(documentation Bed EnglishLanguage "A piece of Furniture which is primarily for sleeping.") | Mid-level-ontology.kif 3730-3730 | |
(externalImage Bed "http://upload.wikimedia.org/wikipedia/commons/0/0a/Bed.agr.jpg") | pictureList.kif 37-37 | |
(externalImage Bed "http://www.adampease.org/Articulate/SUMOpictures/pictures/ household/ bedroom/ Bed_19.png") | pictureList.kif 266-266 | |
(subclass Bed Furniture) | Mid-level-ontology.kif 3729-3729 | Bed is a subclass of furniture |
appearance as argument number 2 |
![]() |
(subclass BunkBed Bed) | Mid-level-ontology.kif 3833-3833 | Bunk bed is a subclass of bed |
(subclass Crib Bed) | Mid-level-ontology.kif 3900-3900 | Crib is a subclass of bed |
(subclass DoubleBed Bed) | Mid-level-ontology.kif 3796-3796 | Full-sized bed is a subclass of bed |
(subclass Hammock Bed) | Mid-level-ontology.kif 3913-3913 | Hammock is a subclass of bed |
(subclass KingBed Bed) | Mid-level-ontology.kif 3739-3739 | King-sized bed is a subclass of bed |
(subclass MurphyBed Bed) | Mid-level-ontology.kif 3848-3848 | Pull-down bed is a subclass of bed |
(subclass QueenBed Bed) | Mid-level-ontology.kif 3770-3770 | Queen-sized bed is a subclass of bed |
(subclass RollawayBed Bed) | Mid-level-ontology.kif 3869-3869 | Rollaway bed is a subclass of bed |
(subclass SingleBed Bed) | Mid-level-ontology.kif 3822-3822 | Twin-sized bed is a subclass of bed |
(subclass SofaBed Bed) | Mid-level-ontology.kif 3881-3881 | Sofa bed is a subclass of bed |
(termFormat ChineseLanguage Bed "床") | domainEnglishFormat.kif 10461-10461 | |
(termFormat ChineseTraditionalLanguage Bed "床") | domainEnglishFormat.kif 10460-10460 | |
(termFormat EnglishLanguage Bed "bed") | domainEnglishFormat.kif 10459-10459 |
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 4014-4021 |
|
(=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED))))) |
Mid-level-ontology.kif 3732-3737 |
|
consequent |
![]() |
![]() |
![]() |