Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  webSeller
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bed Furniture) | Mid-level-ontology.kif 4415-4415 | Bed is a subclass of furniture |
| (documentation Bed EnglishLanguage "A piece of Furniture which is primarily for sleeping.") | Mid-level-ontology.kif 4416-4416 | Bed is a subclass of furniture |
| (externalImage Bed "http://upload.wikimedia.org/wikipedia/commons/0/0a/Bed.agr.jpg") | pictureList.kif 37-37 | Bed is a subclass of furniture |
| (externalImage Bed "http://articulatesoftware.com/SUMOpictures/household/ bedroom/ Bed_19.png") | pictureList.kif 266-266 | Bed is a subclass of furniture |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED))))) |
Mid-level-ontology.kif 4418-4423 | If X is an instance of bed, then X has the purpose there exists Y such that asleep is an attribute of Y and Y is located at X |
| (=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4700-4707 | If X is an instance of bed, Y is a component of X, Y is an instance of bed frame, Z is a component of X, and Z is an instance of mattress, then Z is on to Y |
| consequent |
|
|
| (=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED)))) |
Mid-level-ontology.kif 4680-4685 | If X is an instance of mattress, then there exists Y such that Y is an instance of bed and X is a component of Y |
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR BedAttribute)) (instance ?X Bed)) |
Mid-level-ontology.kif 4748-4752 | If X is an attribute of Y and X is an instance of bed attribute, then Y is an instance of bed |
| (=> (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 4777-4785 | If X is an instance of bed linen, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of bed, and X is an instrument for Y |
| (=> (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 6554-6563 | If X is an instance of blanket, then X has the purpose there exist Y, Z, W such that Y is an instance of heating, Z is a patient of Y, Z is an instance of human, Z is located at W, and W 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 12531-12540 | If bed ridden is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of bed and X is located at Z has the modal force of likely holds during Y |
| (=> (instance ?ROOM Bedroom) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Mid-level-ontology.kif 17186-17191 | If X is an instance of bedroom, then there exists Y such that Y is an instance of bed and Y is located at X |
| (=> (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 28338-28348 | If X is an instance of rv, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of bed (3) Z is an instance of dining area (4) W is an instance of kitchen area (5) Y is located at X (6) Z is located at X (7) W is located at X has the modal force of likely |
| (=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Hotel.kif 96-101 | If X is an instance of hotel unit, then there exists Y such that Y is an instance of bed and Y is located at X |
| (=> (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 1971-1980 | If X is an instance of turndown service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of folding (3) W is an instance of bed linen (4) Z is an instance of bed (5) W is located at Z (6) W is a patient of Y (7) Y is a subprocess of X |
|
