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 3721-3721
(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 3720-3720 家具subclass

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


(subclass BunkBed Bed) Mid-level-ontology.kif 3824-3824 BunkBedsubclass
(subclass Crib Bed) Mid-level-ontology.kif 3891-3891 Cribsubclass
(subclass DoubleBed Bed) Mid-level-ontology.kif 3787-3787 DoubleBedsubclass
(subclass Hammock Bed) Mid-level-ontology.kif 3904-3904 Hammocksubclass
(subclass KingBed Bed) Mid-level-ontology.kif 3730-3730 KingBedsubclass
(subclass MurphyBed Bed) Mid-level-ontology.kif 3839-3839 MurphyBedsubclass
(subclass QueenBed Bed) Mid-level-ontology.kif 3761-3761 QueenBedsubclass
(subclass RollawayBed Bed) Mid-level-ontology.kif 3860-3860 RollawayBedsubclass
(subclass SingleBed Bed) Mid-level-ontology.kif 3813-3813 SingleBedsubclass
(subclass SofaBed Bed) Mid-level-ontology.kif 3872-3872 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 3956-3963
(=>
    (instance ?BED Bed)
    (hasPurpose ?BED
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (located ?PERSON ?BED)))))
Mid-level-ontology.kif 3723-3728

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR BedAttribute))
    (instance ?X Bed))
Mid-level-ontology.kif 3997-4001
(=>
    (holdsDuring ?T
        (attribute ?H Bedridden))
    (holdsDuring ?T
        (modalAttribute
            (exists (?B)
                (and
                    (instance ?B Bed)
                    (located ?H ?B))) Likely)))
Mid-level-ontology.kif 10548-10557
(=>
    (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 5131-5140
(=>
    (instance ?ROOM Bedroom)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Mid-level-ontology.kif 15055-15060
(=>
    (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 25161-25171
(=>
    (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 4026-4034
(=>
    (instance ?X Mattress)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (component ?X ?BED))))
Mid-level-ontology.kif 3936-3941
(=>
    (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