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 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 子類 and 家具

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


(subclass BunkBed Bed) Mid-level-ontology.kif 3873-3873 子類 BunkBed and
(subclass Crib Bed) Mid-level-ontology.kif 3940-3940 子類 Crib and
(subclass DoubleBed Bed) Mid-level-ontology.kif 3836-3836 子類 DoubleBed and
(subclass Hammock Bed) Mid-level-ontology.kif 3953-3953 子類 Hammock and
(subclass KingBed Bed) Mid-level-ontology.kif 3779-3779 子類 KingBed and
(subclass MurphyBed Bed) Mid-level-ontology.kif 3888-3888 子類 MurphyBed and
(subclass QueenBed Bed) Mid-level-ontology.kif 3810-3810 子類 QueenBed and
(subclass RollawayBed Bed) Mid-level-ontology.kif 3909-3909 子類 RollawayBed and
(subclass SingleBed Bed) Mid-level-ontology.kif 3862-3862 子類 SingleBed and
(subclass SofaBed Bed) Mid-level-ontology.kif 3921-3921 子類 SofaBed and
(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 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