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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swallowing
Swallowing(swallowing)

appearance as argument number 1
-------------------------


(documentation Swallowing EnglishLanguage "A BodyMotion where an Object is subject to Ingesting, passing from the Mouth through the Esophagus to the Stomach.") Mid-level-ontology.kif 6254-6256
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6252-6252 Swallowing is a subclass of body motion
(subclass Swallowing Transfer) Mid-level-ontology.kif 6253-6253 Swallowing is a subclass of transfer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Swallowing "swallowing") Mid-level-ontology.kif 6258-6258

antecedent
-------------------------


(=>
    (and
        (instance ?S Swallowing)
        (agent ?S ?H))
    (exists (?M ?E ?ST ?O)
        (and
            (instance ?M Mouth)
            (instance ?E Esophagus)
            (instance ?ST Stomach)
            (objectTransferred ?S ?O)
            (origin ?S ?M)
            (destination ?S ?ST)
            (path ?S ?E))))
Mid-level-ontology.kif 6260-6272
(=>
    (instance ?S Swallowing)
    (exists (?I)
        (and
            (instance ?I Ingesting)
            (subProcess ?I ?S))))
Mid-level-ontology.kif 6275-6280


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



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