Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShuarLanguage

Sigma KEE - Seating
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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners