MurphyBed(pull_down bed) | ![]() | Murphy_bed |
appearance as argument number 1 |
![]() |
(documentation MurphyBed EnglishLanguage "A MurphyBed is a type of Bed that can be stored vertically inside a wall, closet or cabinet") | Mid-level-ontology.kif 3955-3956 | |
(subclass MurphyBed Bed) | Mid-level-ontology.kif 3954-3954 | Pull_down bed is a subclass of bed |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage MurphyBed "pull_down bed") | Mid-level-ontology.kif 3957-3957 |
antecedent |
![]() |
(=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical)))))))) |
Mid-level-ontology.kif 3959-3973 |
|
![]() |
![]() |