| 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 3830-3831 | |
| (subclass DoubleBed Bed) | Mid-level-ontology.kif 3829-3829 | DoubleBed 是 床 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 3832-3832 |
| antecedent |
|
|
| (=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3834-3838 | |
| (=> (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 3840-3853 |
|
|
|