SingleBed(twin-sized bed) | ![]() | single_bed, twin_bed |
appearance as argument number 1 |
![]() |
(documentation SingleBed EnglishLanguage "A SingleBed is a type of Bed that is 1m by 2.0m in size") | Mid-level-ontology.kif 4306-4307 | |
(subclass SingleBed Bed) | Mid-level-ontology.kif 4305-4305 | Twin-sized bed is a subclass of bed |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage SingleBed "twin-sized bed") | Mid-level-ontology.kif 4308-4308 |
antecedent |
![]() |
(=> (instance ?X SingleBed) (and (width ?X (MeasureFn 1.0 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4310-4314 |
|
consequent |
![]() |
(=> (instance ?X BunkBed) (exists (?BED1 ?BED2) (and (instance ?BED1 SingleBed) (instance ?BED2 SingleBed) (part ?BED1 ?X) (part ?BED2 ?X) (orientation ?BED1 ?BED2 Above)))) |
Mid-level-ontology.kif 4321-4329 |
|
![]() |
![]() |