| Recliner | |
| appearance as argument number 1 |
|
|
| (documentation Recliner EnglishLanguage "Recliner is a type of Seat whose back can be lowered and the foot can be rasied to allow the sitter to recline in it.") | Mid-level-ontology.kif 26181-26182 | |
| (subclass Recliner Seat) | Mid-level-ontology.kif 26180-26180 | Recliner 是 座位 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Recliner "recliner") | Mid-level-ontology.kif 26183-26183 |
| antecedent |
|
|
| (=> (instance ?X Recliner) (modalAttribute (exists (?INCLINE) (and (instance ?INCLINE Inclining) (patient ?INCLINE ?X))) Possibility)) |
Mid-level-ontology.kif 26185-26191 |
|
|
|