MurphyBed | ![]() |
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 4332-4333 | |
(subclass MurphyBed Bed) | Mid-level-ontology.kif 4331-4331 | MurphyBed est une sous-classe de Bed |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage MurphyBed "pull-down bed") | Mid-level-ontology.kif 4334-4334 |
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 4336-4350 |
![]() |
![]() |