Bed - Sigma Knowledge base Browser

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

(documentation Bed EnglishLanguage "A piece of Furniture which is primarily for sleeping.")	Mid-level-ontology.kif 3763-3763
(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 3762-3762	Bed is a subclass of furniture

appearance as argument number 2

(subclass BunkBed Bed)	Mid-level-ontology.kif 3866-3866	Bunk bed is a subclass of bed
(subclass Crib Bed)	Mid-level-ontology.kif 3933-3933	Crib is a subclass of bed
(subclass DoubleBed Bed)	Mid-level-ontology.kif 3829-3829	Full-sized bed is a subclass of bed
(subclass Hammock Bed)	Mid-level-ontology.kif 3946-3946	Hammock is a subclass of bed
(subclass KingBed Bed)	Mid-level-ontology.kif 3772-3772	King-sized bed is a subclass of bed
(subclass MurphyBed Bed)	Mid-level-ontology.kif 3881-3881	Pull-down bed is a subclass of bed
(subclass QueenBed Bed)	Mid-level-ontology.kif 3803-3803	Queen-sized bed is a subclass of bed
(subclass RollawayBed Bed)	Mid-level-ontology.kif 3902-3902	Rollaway bed is a subclass of bed
(subclass SingleBed Bed)	Mid-level-ontology.kif 3855-3855	Twin-sized bed is a subclass of bed
(subclass SofaBed Bed)	Mid-level-ontology.kif 3914-3914	Sofa bed is a subclass of bed
(termFormat ChineseLanguage Bed "床")	domainEnglishFormat.kif 10471-10471	Sofa bed is a subclass of bed
(termFormat ChineseTraditionalLanguage Bed "床")	domainEnglishFormat.kif 10470-10470	Sofa bed is a subclass of bed
(termFormat EnglishLanguage Bed "bed")	domainEnglishFormat.kif 10469-10469	Sofa bed is a subclass of bed

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 4047-4054	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
(=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED)))))	Mid-level-ontology.kif 3765-3770	If a physical is an instance of bed, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is located at the physical

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR BedAttribute)) (instance ?X Bed))	Mid-level-ontology.kif 4095-4099	If an attribute is an attribute of an object and the attribute is an instance of bed attribute, then the object is an instance of bed
(=> (holdsDuring ?T (attribute ?H Bedridden)) (holdsDuring ?T (modalAttribute (exists (?B) (and (instance ?B Bed) (located ?H ?B))) Likely)))	Mid-level-ontology.kif 11259-11268	If bed ridden is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of bed and the entity is located at the other entity has the modal force of likely holds during the time position
(=> (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 5429-5438	If a physical is an instance of blanket, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of heating and the other entity is a patient of the entity and the other entity is an instance of human and the other entity is located at the third entity and the third entity is an instance of bed
(=> (instance ?ROOM Bedroom) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Mid-level-ontology.kif 15805-15810	If an object is an instance of bedroom, then there exists a physical such that the physical is an instance of bed and the physical is located at the object
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 96-101	If an object is an instance of hotel unit, then there exists a physical such that the physical is an instance of bed and the physical is located at the object
(=> (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 26034-26044	If an entity is an instance of camper, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of bed and the third entity is an instance of dining area and the fourth entity is an instance of kitchen area and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity has the modal force of likely
(=> (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 4124-4132	If a physical is an instance of bed linen, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the other entity is a patient of the entity and the other entity is an instance of bed and the physical is an instrument for the entity
(=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED))))	Mid-level-ontology.kif 4027-4032	If a corpuscular object is an instance of mattress, then there exists another corpuscular object such that the other corpuscular object is an instance of bed and the corpuscular object is a component of the other corpuscular object
(=> (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	If a process is an instance of turndown service, then there exist another process, an object and a physical such that the other process is an instance of folding and the physical is an instance of bed linen and the object is an instance of bed and the physical is located at the object and the physical is a patient of the other process and the other process is a subprocess of the process

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