Inhaling - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Inhaling EnglishLanguage "Any instance of Breathing where the breath is taken into the Lungs.")	Mid-level-ontology.kif 10791-10792
(subclass Inhaling Breathing)	Mid-level-ontology.kif 10790-10790	Inhaling is a subclass of breathing

appearance as argument number 2

(termFormat ChineseLanguage Inhaling "吸入")	domainEnglishFormat.kif 30072-30072
(termFormat ChineseTraditionalLanguage Inhaling "吸入")	domainEnglishFormat.kif 30071-30071
(termFormat EnglishLanguage Inhaling "inhaling")	domainEnglishFormat.kif 30070-30070

antecedent

(=>
    (instance ?I Inhaling)
    (exists (?L)
        (and
            (instance ?L Lung)
            (destination ?I ?L))))

Mid-level-ontology.kif 10794-10799

If a process is an instance of inhaling,
then there exists an entity such that the entity is an instance of lung and the process ends up at the entity

consequent

(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (exists (?I ?E) (and (instance ?I Inhaling) (instance ?E Exhaling) (subProcess ?I ?C) (subProcess ?E ?C) (experiencer ?I ?H) (experiencer ?E ?H))))	Mid-level-ontology.kif 5723-5734	If a process is an instance of coughing and an agent experiences the process, then there exist another process and a third process such that the other process is an instance of inhaling and the third process is an instance of exhaling and the other process is a subprocess of the process and the third process is a subprocess of the process and the agent experiences the other process and the agent experiences the third process
(=> (instance ?X Respirator) (hasPurpose ?X (=> (and (instance ?PERSON Animal) (wears ?PERSON ?X)) (exists (?INHAL ?INJ ?PROTECT) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))))	Cars.kif 3533-3555	If a physical is an instance of respirator, then the physical has the purpose if an entity is an instance of animal and the entity wears the physical, then there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of process and the physical is an instrument for the fourth entity and the fourth entity prevents the occurrence of the third entity and the third entity is a subclass of the class described by a fifth entity

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

KB Term:			Term intersection

English Word: