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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exhaling
Exhalingblow, cough, exhaling, insufflate, snort

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


s__documentation(s__Exhaling,s__EnglishLanguage,'Any instance of Breathing where the breath is expelled from the Lungs.')

Mid-level-ontology.kif 9611-9612
s__instance(s__Exhaling,s__SetOrClass)

Mid-level-ontology.kif 9610-9610

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


s__termFormat(s__EnglishLanguage,s__Exhaling,'exhaling')

domainEnglishFormat.kif 4215-4215

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


( ! [V__E] :
   (s__instance(V__E,s__Exhaling) =>
     (? [V__L] :
       (s__instance(V__L,s__Lung) &
         s__origin(V__E,V__L))))
)

Mid-level-ontology.kif 9613-9618

consequent
-------------------------


( ! [V__WI,V__M,V__A] :
   ((s__instance(V__WI,s__WindInstrument) &
       s__instance(V__M,s__MakingInstrumentalMusic) &
       s__agent(V__M,V__A)
     &
     s__instrument(V__M,V__WI))
=>
(? [V__B] :
   (s__instance(V__B,s__Exhaling) &
     s__agent(V__B,V__A)
   &
   s__subProcess(V__B,V__M))))
)

Music.kif 1201-1211


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners