| DoubleBed | |
| appearance as argument number 1 |
|
|
| (documentation DoubleBed EnglishLanguage "A DoubleBed is a type of Bed that is 1.35m by 2.0m in size") | Mid-level-ontology.kif 3766-3767 | |
| (subclass DoubleBed Bed) | Mid-level-ontology.kif 3765-3765 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 3768-3768 |
| antecedent |
|
|
| (=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3770-3774 | |
| (=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (attribute ?P1 Asleep) (attribute ?P2 Asleep) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 3776-3789 |
|
|
|