| BunkBed(bunk bed) | | bunk, bunk_bed |
| appearance as argument number 1 |
|
|
| (documentation BunkBed EnglishLanguage "A BunkBed is a type of Bed has one bed directly above another") | Mid-level-ontology.kif 3940-3941 | |
| (subclass BunkBed Bed) | Mid-level-ontology.kif 3939-3939 | Bunk bed is a subclass of bed |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BunkBed "bunk bed") | Mid-level-ontology.kif 3942-3942 |
| antecedent |
|
|
| (=> (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 3944-3952 |
|
|
|
|