Recliner SeaPort
|
|
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 |
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 |