|
|
   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 23446-23447 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 23445-23445 | Seating e' uma sub-classe de Guiar |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Seating "座席区") | domainEnglishFormat.kif 51743-51743 | |
| (termFormat ChineseTraditionalLanguage Seating "座席區") | domainEnglishFormat.kif 51742-51742 | |
| (termFormat EnglishLanguage Seating "seating") | domainEnglishFormat.kif 51741-51741 |
| antecedent |
|
|
| (=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 23449-23456 |
|
|
|
|