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 3699-3699
(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 3698-3698

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


(subclass BunkBed Bed) Mid-level-ontology.kif 3802-3802
(subclass Crib Bed) Mid-level-ontology.kif 3869-3869
(subclass DoubleBed Bed) Mid-level-ontology.kif 3765-3765
(subclass Hammock Bed) Mid-level-ontology.kif 3882-3882
(subclass KingBed Bed) Mid-level-ontology.kif 3708-3708
(subclass MurphyBed Bed) Mid-level-ontology.kif 3817-3817
(subclass QueenBed Bed) Mid-level-ontology.kif 3739-3739
(subclass RollawayBed Bed) Mid-level-ontology.kif 3838-3838
(subclass SingleBed Bed) Mid-level-ontology.kif 3791-3791
(subclass SofaBed Bed) Mid-level-ontology.kif 3850-3850
(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 3934-3941
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 3701-3706

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR BedAttribute))
    (instance ?X Bed))
Mid-level-ontology.kif 3975-3979
(=>
    (holdsDuring ?T
        (attribute ?H Bedridden))
    (holdsDuring ?T
        (modalAttribute
            (exists (?B)
                (and
                    (instance ?B Bed)
                    (located ?H ?B))) Likely)))
Mid-level-ontology.kif 10043-10052
(=>
    (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 5102-5111
(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Mid-level-ontology.kif 14403-14408
(=>
    (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 24459-24469
(=>
    (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 4003-4011
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))
Mid-level-ontology.kif 3914-3919
(=>
    (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 1915-1924


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