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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bed
Bed(bed)
bed, berth, built-in_bed, built_in_bed, bunk, camp_bed, corncrib, cot, crib, deathbed, marriage_bed, plank-bed, platform_bed, sickbed, sleigh_bed, truckle, truckle_bed, trundle, trundle_bed

appearance as argument number 1
-------------------------


s__documentation(s__Bed,s__EnglishLanguage,'"A piece of Furniture which is primarily for sleeping."')

Mid-level-ontology.kif 3700-3700
s__externalImage(s__Bed,'"http://upload.wikimedia.org/wikipedia/commons/0/0a/Bed.agr.jpg"')

pictureList.kif 37-37
s__externalImage(s__Bed,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ household/ bedroom/ Bed_19.png"')

pictureList.kif 266-266
s__instance(s__Bed,s__Class)

s__instance(s__Furniture,s__Class)

s__subclass(s__Bed,s__Furniture)

Mid-level-ontology.kif 3699-3699 Bed is a subclass of furniture

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


s__subclass(s__BunkBed,s__Bed)

s__instance(s__Bed,s__Class)

s__instance(s__BunkBed,s__Class)

Mid-level-ontology.kif 3803-3803 Bunk bed is a subclass of bed
s__instance(s__Crib,s__Class)

s__instance(s__Bed,s__Class)

s__subclass(s__Crib,s__Bed)

Mid-level-ontology.kif 3870-3870 Crib is a subclass of bed
s__instance(s__DoubleBed,s__Class)

s__instance(s__Bed,s__Class)

s__subclass(s__DoubleBed,s__Bed)

Mid-level-ontology.kif 3766-3766 Full-sized bed is a subclass of bed
s__instance(s__Bed,s__Class)

s__subclass(s__Hammock,s__Bed)

s__instance(s__Hammock,s__Class)

Mid-level-ontology.kif 3883-3883 Hammock is a subclass of bed
s__instance(s__Bed,s__Class)

s__subclass(s__KingBed,s__Bed)

s__instance(s__KingBed,s__Class)

Mid-level-ontology.kif 3709-3709 King-sized bed is a subclass of bed
s__instance(s__Bed,s__Class)

s__instance(s__MurphyBed,s__Class)

s__subclass(s__MurphyBed,s__Bed)

Mid-level-ontology.kif 3818-3818 Pull-down bed is a subclass of bed
s__instance(s__Bed,s__Class)

s__subclass(s__QueenBed,s__Bed)

s__instance(s__QueenBed,s__Class)

Mid-level-ontology.kif 3740-3740 Queen-sized bed is a subclass of bed
s__instance(s__RollawayBed,s__Class)

s__instance(s__Bed,s__Class)

s__subclass(s__RollawayBed,s__Bed)

Mid-level-ontology.kif 3839-3839 Rollaway bed is a subclass of bed
s__subclass(s__SingleBed,s__Bed)

s__instance(s__Bed,s__Class)

s__instance(s__SingleBed,s__Class)

Mid-level-ontology.kif 3792-3792 Twin-sized bed is a subclass of bed
s__instance(s__SofaBed,s__Class)

s__instance(s__Bed,s__Class)

s__subclass(s__SofaBed,s__Bed)

Mid-level-ontology.kif 3851-3851 Sofa bed is a subclass of bed
s__termFormat(s__ChineseLanguage,s__Bed,'"床"')

domainEnglishFormat.kif 10466-10466
s__termFormat(s__ChineseTraditionalLanguage,s__Bed,'"床"')

domainEnglishFormat.kif 10465-10465
s__termFormat(s__EnglishLanguage,s__Bed,'"bed"')

domainEnglishFormat.kif 10464-10464

antecedent
-------------------------


( ! [V__MATTRESS,V__BEDFRAME,V__X] :
   (((s__instance(V__X,s__Bed) &
         s__component(V__BEDFRAME,V__X)
       &
       s__instance(V__BEDFRAME,s__BedFrame) &
       s__component(V__MATTRESS,V__X)
     &
     s__instance(V__MATTRESS,s__Mattress))
   =>
   (s__orientation(V__MATTRESS,V__BEDFRAME,s__On)))
)
)

Mid-level-ontology.kif 3935-3942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3702-3707

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


( ! [V__ATTR,V__X] :
   ((s__instance(V__X,s__Object) =>
       (((s__attribute(V__X,V__ATTR)
           &
           s__instance(V__ATTR,s__BedAttribute))
         =>
         (s__instance(V__X,s__Bed)))))
   )
)

Mid-level-ontology.kif 3976-3980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10416-10425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5104-5113
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__Bedroom) =>
       (( ? [V__BED] :
           ((s__instance(V__BED,s__Bed) &
               s__located(V__BED,V__ROOM))))))
   )
)

Mid-level-ontology.kif 14886-14891
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__HotelUnit) =>
       (( ? [V__BED] :
           ((s__instance(V__BED,s__Bed) &
               s__located(V__BED,V__ROOM))))))
   )
)

Hotel.kif 91-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24992-25002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4005-4013
( ! [V__X] :
   ((s__instance(V__X,s__Mattress) =>
       (( ? [V__BED] :
           ((s__instance(V__BED,s__Bed) &
               s__component(V__X,V__BED))))))
   )
)

Mid-level-ontology.kif 3915-3920
( ! [V__X] :
   ((s__instance(V__X,s__TurndownService) =>
       (( ? [V__FOLD, V__BED, V__SHEET] :
           ((s__instance(V__FOLD,s__Folding) &
               s__instance(V__SHEET,s__BedLinen) &
               s__instance(V__BED,s__Bed) &
               s__located(V__SHEET,V__BED)
             &
             s__patient(V__FOLD,V__SHEET)
           &
           s__subProcess(V__FOLD,V__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