Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bed
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 4302-4302
(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 4301-4301 Bed is a subclass of furniture

appearance as argument number 2
-------------------------


(subclass BunkBed Bed) Mid-level-ontology.kif 4405-4405 Bunk bed is a subclass of bed
(subclass Crib Bed) Mid-level-ontology.kif 4472-4472 Crib is a subclass of bed
(subclass DoubleBed Bed) Mid-level-ontology.kif 4368-4368 Full-sized bed is a subclass of bed
(subclass Hammock Bed) Mid-level-ontology.kif 4485-4485 Hammock is a subclass of bed
(subclass KingBed Bed) Mid-level-ontology.kif 4311-4311 King-sized bed is a subclass of bed
(subclass MurphyBed Bed) Mid-level-ontology.kif 4420-4420 Pull-down bed is a subclass of bed
(subclass QueenBed Bed) Mid-level-ontology.kif 4342-4342 Queen-sized bed is a subclass of bed
(subclass RollawayBed Bed) Mid-level-ontology.kif 4441-4441 Rollaway bed is a subclass of bed
(subclass SingleBed Bed) Mid-level-ontology.kif 4394-4394 Twin-sized bed is a subclass of bed
(subclass SofaBed Bed) Mid-level-ontology.kif 4453-4453 Sofa bed is a subclass of bed
(termFormat ChineseLanguage Bed "床") domainEnglishFormat.kif 10409-10409
(termFormat ChineseTraditionalLanguage Bed "床") domainEnglishFormat.kif 10408-10408
(termFormat EnglishLanguage Bed "bed") domainEnglishFormat.kif 10407-10407

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 4537-4544
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 4304-4309

consequent
-------------------------


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR BedAttribute))
    (instance ?X Bed))
Mid-level-ontology.kif 4578-4582
(=>
    (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 5686-5695
(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Mid-level-ontology.kif 13295-13300
(=>
    (instance ?ROOM HotelUnit)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Hotel.kif 91-96
(=>
    (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 23730-23740
(=>
    (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 4606-4614
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))
Mid-level-ontology.kif 4517-4522
(=>
    (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 1901-1910


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