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 3837-3838 | |
(subclass DoubleBed Bed) | Mid-level-ontology.kif 3836-3836 |
appearance as argument number 2 |
(termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 3839-3839 |
antecedent |
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3841-3845 | |
(=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 3847-3860 |