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 23393-23394 | |
(subclass Seating Guiding) | Mid-level-ontology.kif 23392-23392 | Seating è una sottoclasse di Guidare |
appearance as argument number 2 |
(termFormat ChineseLanguage Seating "座席区") | domainEnglishFormat.kif 51741-51741 | |
(termFormat ChineseTraditionalLanguage Seating "座席區") | domainEnglishFormat.kif 51740-51740 | |
(termFormat EnglishLanguage Seating "seating") | domainEnglishFormat.kif 51739-51739 |
antecedent |
(=> (instance ?S Seating) (exists (?P ?H) (and (experiencer ?S ?H) (instance ?H Human) (destination ?S ?P) (instance ?P Seat)))) |
Mid-level-ontology.kif 23396-23403 |