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 3700-3700
(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 3699-3699 家具subclass

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


(subclass BunkBed Bed) Mid-level-ontology.kif 3803-3803 BunkBedsubclass
(subclass Crib Bed) Mid-level-ontology.kif 3870-3870 Cribsubclass
(subclass DoubleBed Bed) Mid-level-ontology.kif 3766-3766 DoubleBedsubclass
(subclass Hammock Bed) Mid-level-ontology.kif 3883-3883 Hammocksubclass
(subclass KingBed Bed) Mid-level-ontology.kif 3709-3709 KingBedsubclass
(subclass MurphyBed Bed) Mid-level-ontology.kif 3818-3818 MurphyBedsubclass
(subclass QueenBed Bed) Mid-level-ontology.kif 3740-3740 QueenBedsubclass
(subclass RollawayBed Bed) Mid-level-ontology.kif 3839-3839 RollawayBedsubclass
(subclass SingleBed Bed) Mid-level-ontology.kif 3792-3792 SingleBedsubclass
(subclass SofaBed Bed) Mid-level-ontology.kif 3851-3851 SofaBedsubclass
(termFormat ChineseLanguage Bed "床") domainEnglishFormat.kif 10466-10466
(termFormat ChineseTraditionalLanguage Bed "床") domainEnglishFormat.kif 10465-10465
(termFormat EnglishLanguage Bed "bed") domainEnglishFormat.kif 10464-10464

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 3935-3942
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 3702-3707

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR BedAttribute))
    (instance ?X Bed))
Mid-level-ontology.kif 3976-3980
(=>
    (holdsDuring ?T
        (attribute ?H Bedridden))
    (holdsDuring ?T
        (modalAttribute
            (exists (?B)
                (and
                    (instance ?B Bed)
                    (located ?H ?B))) Likely)))
Mid-level-ontology.kif 10308-10317
(=>
    (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 5104-5113
(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Mid-level-ontology.kif 14752-14757
(=>
    (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 24808-24818
(=>
    (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 4005-4013
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))
Mid-level-ontology.kif 3915-3920
(=>
    (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 1928-1937


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