| 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 3765-3766 | |
| (subclass DoubleBed Bed) | Mid-level-ontology.kif 3764-3764 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 3767-3767 |
| antecedent |
|
|
| (=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3769-3773 | |
| (=> (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 3775-3788 |
|
|
|