Seating - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Seating Guiding)	Mid-level-ontology.kif 25711-25711	Seating is a subclass of guiding
(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 25712-25713	Seating is a subclass of guiding

appearance as argument number 2

(termFormat EnglishLanguage Seating "seating")	domainEnglishFormat.kif 51736-51736
(termFormat ChineseTraditionalLanguage Seating "座席區")	domainEnglishFormat.kif 51737-51737
(termFormat ChineseLanguage Seating "座席区")	domainEnglishFormat.kif 51738-51738

antecedent

(=>
    (instance ?S Seating)
    (exists (?P ?H)
        (and
            (experiencer ?S ?H)
            (instance ?H Human)
            (destination ?S ?P)
            (instance ?P Seat))))

If X is an instance of seating, then there exist Y, Z such that Z experiences X, Z is an instance of human, X ends up at Y, and Y is an instance of seat