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

appearance as argument number 1

(documentation Bed EnglishLanguage "A piece of Furniture which is primarily for sleeping.")	Mid-level-ontology.kif 3770-3770
(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 3769-3769	Bed ist eine teilkategorie von Furniture

appearance as argument number 2

(subclass BunkBed Bed)	Mid-level-ontology.kif 3873-3873	BunkBed ist eine teilkategorie von Bed
(subclass Crib Bed)	Mid-level-ontology.kif 3940-3940	Crib ist eine teilkategorie von Bed
(subclass DoubleBed Bed)	Mid-level-ontology.kif 3836-3836	DoubleBed ist eine teilkategorie von Bed
(subclass Hammock Bed)	Mid-level-ontology.kif 3953-3953	Hammock ist eine teilkategorie von Bed
(subclass KingBed Bed)	Mid-level-ontology.kif 3779-3779	KingBed ist eine teilkategorie von Bed
(subclass MurphyBed Bed)	Mid-level-ontology.kif 3888-3888	MurphyBed ist eine teilkategorie von Bed
(subclass QueenBed Bed)	Mid-level-ontology.kif 3810-3810	QueenBed ist eine teilkategorie von Bed
(subclass RollawayBed Bed)	Mid-level-ontology.kif 3909-3909	RollawayBed ist eine teilkategorie von Bed
(subclass SingleBed Bed)	Mid-level-ontology.kif 3862-3862	SingleBed ist eine teilkategorie von Bed
(subclass SofaBed Bed)	Mid-level-ontology.kif 3921-3921	SofaBed ist eine teilkategorie von Bed
(termFormat ChineseLanguage Bed "床")	domainEnglishFormat.kif 10457-10457
(termFormat ChineseTraditionalLanguage Bed "床")	domainEnglishFormat.kif 10456-10456
(termFormat EnglishLanguage Bed "bed")	domainEnglishFormat.kif 10455-10455

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 4054-4061	Wenn CorpuscularObject ist ein fall von Bed %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von BedFrame %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von Mattress %n{nicht}, dann CorpuscularObject ist On hinsichlich CorpuscularObject %n{nicht}
(=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED)))))	Mid-level-ontology.kif 3772-3777	Wenn Physical ist ein fall von Bed %n{nicht}, dann Physical hat Zweck von es gibt entity um Asleep ist ein attribut von entity %n{nicht} und ** entity befindet sich an %n{nicht} %n{nicht}

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR BedAttribute)) (instance ?X Bed))	Mid-level-ontology.kif 4102-4106	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von BedAttribute %n{nicht}, dann Object ist ein fall von Bed %n{nicht}
(=> (holdsDuring ?T (attribute ?H Bedridden)) (holdsDuring ?T (modalAttribute (exists (?B) (and (instance ?B Bed) (located ?H ?B))) Likely)))	Mid-level-ontology.kif 11041-11050	Wenn Bedridden ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von Bed %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von Likely haelt waehrend ** TimePosition %n{nicht}
(=> (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 5435-5444	Wenn Physical ist ein fall von Blanket %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Heating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Human %n{nicht} und entity befindet sich an %n{nicht} und ** entity ist ein fall von Bed %n{nicht} %n{nicht}
(=> (instance ?ROOM Bedroom) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Mid-level-ontology.kif 15587-15592	Wenn Object ist ein fall von Bedroom %n{nicht}, dann es gibt Physical um Physical ist ein fall von Bed %n{nicht} und Physical befindet sich an %n{nicht}
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 96-101	Wenn Object ist ein fall von HotelUnit %n{nicht}, dann es gibt Physical um Physical ist ein fall von Bed %n{nicht} und Physical befindet sich an %n{nicht}
(=> (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 25770-25780	Wenn Entity ist ein fall von RecreationalVehicle %n{nicht}, dann die Aussage es gibt entity, entity, and und entity um entity ist ein fall von Bed %n{nicht} und entity ist ein fall von DiningArea %n{nicht} und entity ist ein fall von KitchenArea %n{nicht} und entity befindet sich an %n{nicht} und entity befindet sich an %n{nicht} und ** entity befindet sich an %n{nicht} hat die modale Kraft von 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 4131-4139	Wenn Physical ist ein fall von BedLinen %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Covering %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Bed %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED))))	Mid-level-ontology.kif 4034-4039	Wenn CorpuscularObject ist ein fall von Mattress %n{nicht}, dann es gibt CorpuscularObject um CorpuscularObject ist ein fall von Bed %n{nicht} und CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht}
(=> (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	Wenn Process ist ein fall von TurndownService %n{nicht}, dann es gibt Process, Object, and und Physical um Process ist ein fall von Folding %n{nicht} und Physical ist ein fall von BedLinen %n{nicht} und Object ist ein fall von Bed %n{nicht} und Physical befindet sich an %n{nicht} und Physical ist ein patient von Process %n{nicht} und Process ist ein subProzess von 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