| Seating(seating) | | reseat, seat, seating, sit, sit_down |
| appearance as argument number 1 |
|
|
| (documentation Seating EnglishLanguage "Guiding someone to a Seat, e.g. as when an usher shows someone to a Seat in an Auditorium.") | Mid-level-ontology.kif 24508-24509 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 24507-24507 | Seating is a subclass of guiding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Seating "座席区") | domainEnglishFormat.kif 51774-51774 | |
| (termFormat ChineseTraditionalLanguage Seating "座席區") | domainEnglishFormat.kif 51773-51773 | |
| (termFormat EnglishLanguage Seating "seating") | domainEnglishFormat.kif 51772-51772 |
| antecedent |
|
|
| (=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 24511-24518 |
|
|
|
|