| Seating | |
| 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 23677-23678 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 23676-23676 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Seating "座席区") | domainEnglishFormat.kif 51776-51776 | |
| (termFormat ChineseTraditionalLanguage Seating "座席區") | domainEnglishFormat.kif 51775-51775 | |
| (termFormat EnglishLanguage Seating "seating") | domainEnglishFormat.kif 51774-51774 |
| antecedent |
|
|
| (=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 23680-23687 |
|
|
|