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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Bed

Sigma KEE - Bed
Bed

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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