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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3770-3770
(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 3769-3769 Bed est une sous-classe de Furniture

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


(subclass BunkBed Bed) Mid-level-ontology.kif 3873-3873 BunkBed est une sous-classe de Bed
(subclass Crib Bed) Mid-level-ontology.kif 3940-3940 Crib est une sous-classe de Bed
(subclass DoubleBed Bed) Mid-level-ontology.kif 3836-3836 DoubleBed est une sous-classe de Bed
(subclass Hammock Bed) Mid-level-ontology.kif 3953-3953 Hammock est une sous-classe de Bed
(subclass KingBed Bed) Mid-level-ontology.kif 3779-3779 KingBed est une sous-classe de Bed
(subclass MurphyBed Bed) Mid-level-ontology.kif 3888-3888 MurphyBed est une sous-classe de Bed
(subclass QueenBed Bed) Mid-level-ontology.kif 3810-3810 QueenBed est une sous-classe de Bed
(subclass RollawayBed Bed) Mid-level-ontology.kif 3909-3909 RollawayBed est une sous-classe de Bed
(subclass SingleBed Bed) Mid-level-ontology.kif 3862-3862 SingleBed est une sous-classe de Bed
(subclass SofaBed Bed) Mid-level-ontology.kif 3921-3921 SofaBed est une sous-classe de Bed
(termFormat ChineseLanguage Bed "床") domainEnglishFormat.kif 10457-10457
(termFormat ChineseTraditionalLanguage Bed "床") domainEnglishFormat.kif 10456-10456
(termFormat EnglishLanguage Bed "bed") domainEnglishFormat.kif 10455-10455

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 4054-4061
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 3772-3777

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR BedAttribute))
    (instance ?X Bed))
Mid-level-ontology.kif 4102-4106
(=>
    (holdsDuring ?T
        (attribute ?H Bedridden))
    (holdsDuring ?T
        (modalAttribute
            (exists (?B)
                (and
                    (instance ?B Bed)
                    (located ?H ?B))) Likely)))
Mid-level-ontology.kif 11041-11050
(=>
    (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 5435-5444
(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Mid-level-ontology.kif 15587-15592
(=>
    (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 25770-25780
(=>
    (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 4131-4139
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))
Mid-level-ontology.kif 4034-4039
(=>
    (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 1953-1962


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