| 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 25560-25561 | |
| (subclass Recliner Seat) | Mid-level-ontology.kif 25559-25559 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Recliner "recliner") | Mid-level-ontology.kif 25562-25562 |
| antecedent |
|
|
| (=> (instance ?X Recliner) (modalAttribute (exists (?INCLINE) (and (instance ?INCLINE Inclining) (patient ?INCLINE ?X))) Possibility)) |
Mid-level-ontology.kif 25564-25570 |
|
|
|