TreeView Knowledge Base Browser - Lung

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Lung

Sigma KEE - Lung

Lung

appearance as argument number 1

(documentation Lung EnglishLanguage "A respiratory organ of Vertebrates. Its function is to furnish the blood with oxygen and to remove carbon dioxide.")	Mid-level-ontology.kif 11187-11188
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 11186-11186	Lung ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11185-11185	Lung ist eine teilkategorie von VitalOrgan

appearance as argument number 2

(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12091-12091	connectedBodyPart Trachea and Lung
(termFormat ChineseLanguage Lung "肺")	domainEnglishFormat.kif 35321-35321
(termFormat ChineseTraditionalLanguage Lung "肺")	domainEnglishFormat.kif 35320-35320
(termFormat EnglishLanguage Lung "lung")	domainEnglishFormat.kif 35319-35319

appearance as argument number 3

(domain breathingRate 1 Lung)

Mid-level-ontology.kif 10376-10376

Die Zahl 1 Argument von breathingRate ist ein fall von Lung %n{nicht}

antecedent

(=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R))))	Medicine.kif 6505-6529	Wenn Process ist ein fall von CheckingVitals %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und Heart ist ein fall von Heart %n{nicht} und Heart ist ein teil von Object %n{nicht} und Lung ist ein fall von Lung %n{nicht} und Lung ist ein teil von Object %n{nicht} und systolicBloodPressure Object and entity und diastolicBloodPressure Object and entity und das mass von Object ist entity FahrenheitDegree(s) %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht} und heartRate Heart, die zeit des Bestehens von Process and Integer und breathingRate Lung, die zeit des Bestehens von Process and Integer, dann CognitiveAgent kennt systolicBloodPressure Object and entity und diastolicBloodPressure Object and entity und das mass von Object ist entity FahrenheitDegree(s) %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht} und heartRate Heart, die zeit des Bestehens von Process and Integer und breathingRate Lung, die zeit des Bestehens von Process and Integer %n{nicht}
(=> (and (instance ?MB MeasuringBreathing) (agent ?MB ?A) (instance ?L Lung) (part ?L ?P) (instance ?T TimeInterval) (during ?T (WhenFn ?MB)) (duration ?T MinuteDuration) (patient ?MB ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MB)) (exists (?BR) (knows ?A (breathingRate ?L ?T ?BR)))))	Medicine.kif 466-482	Wenn Process ist ein fall von MeasuringBreathing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von Object %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von Process %n{nicht} und dauer von TimeInterval ist MinuteDuration %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt entity um AutonomousAgent kennt breathingRate Object, TimeInterval and entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}
(=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R))))	Medicine.kif 342-357	Wenn restingBreathingRate Mammal and Integer und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von Mammal %n{nicht}, dann es gibt TimeInterval um es gibt nicht IntegerEC um IntegerEC ist ein fall von RecreationOrExercise %n{nicht} und IntegerEC ist der agent von Mammal %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von IntegerEC %n{nicht} und TimeInterval ist ein fall von Minute %n{nicht} und breathingRate Mammal, TimeInterval and Integer

consequent

(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 11140-11150	Wenn Object ist ein fall von PulmonaryArtery %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Entity um Entity ist ein fall von Lung %n{nicht} und Process endet an Entity %n{nicht}
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L))))))	Mid-level-ontology.kif 11753-11768	Wenn Process ist ein fall von Choking %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Entity, Object, and und Object um Entity ist ein fall von Object %n{nicht} und Object ist ein fall von Trachea %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Entity befindet sich an %n{nicht} oder Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L)))))))	Mid-level-ontology.kif 6055-6074	Wenn Process ist ein fall von Coughing %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann Process hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Lung %n{nicht} und entity ist ein fall von Throat %n{nicht} und entity ist ein fall von Object %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und objectTransferred entity and entity und entity befindet sich an %n{nicht} oder entity befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} %n{nicht}
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 11197-11210	Wenn Object ist ein fall von Primate %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von Object nicht, dann es gibt Object und Object um Object ist ein fall von Lung %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist gleich Object nicht und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT))))	Mid-level-ontology.kif 11246-11261	Wenn SelfConnectedObject ist ein fall von RibCage %n{nicht} und SelfConnectedObject ist ein teil von Object %n{nicht} und Object ist ein fall von Human %n{nicht} und Living ist ein attribut von Object %n{nicht} und ~{ Physical ist ein fall von PathologicProcess %n{nicht} } oder ~{ Physical befindet sich an %n{nicht} }, dann es gibt ObjectT und Object um ObjectT ist ein fall von Heart %n{nicht} und ObjectT ist ein fall von Lung %n{nicht} und contains SelfConnectedObject and Object und contains SelfConnectedObject and ** ObjectT
(=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside))))	Medicine.kif 895-917	Wenn Transfer ist ein fall von Thoracentesis %n{nicht} und Object ist ein patient von Transfer %n{nicht}, dann es gibt Transfer, Object,, , TransferN,, , Object,, , Object, and und Object um Transfer ist ein fall von Inserting %n{nicht} und Transfer ist ein subProzess von Transfer und objectTransferred Transfer and Object und Transfer beginnet an Object %n{nicht} und Transfer endet an TransferN %n{nicht} und Object ist ein fall von Needle %n{nicht} und Fluid ist ein attribut von Object %n{nicht} und objectTransferred Transfer and Object und Object endet an Object %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein fall von Chest %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Transfer beginnet an TransferN %n{nicht} und Transfer endet an Object %n{nicht} und TransferN ist zwischen Object und Object %n{nicht} und Object ist Outside hinsichlich Object %n{nicht}
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11156-11171	Wenn Object ist ein fall von PulmonaryVein %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Object, Object, and und Object um Object ist ein fall von Lung %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Heart %n{nicht} und Process endet an Object %n{nicht}
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside)))))))	Medicine.kif 853-875	Wenn Object ist ein fall von VentedChestSeal %n{nicht} und Transfer ist ein fall von Attaching %n{nicht} und objectTransferred Transfer and Object und Transfer endet an Entity %n{nicht}, dann Object hat Zweck von es gibt Transfer, entity,, , entity, and und Entity um Transfer ist ein fall von Air %n{nicht} und entity ist ein fall von Lung %n{nicht} und entity ist ein fall von Chest %n{nicht} und entity ist ein teil von Entity %n{nicht} und entity ist ein teil von Entity %n{nicht} und Transfer ist zwischen entity und entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Transfer %n{nicht} und Object hat Zweck von Transfer ist Outside hinsichlich Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Transfer %n{nicht} %n{nicht} %n{nicht}
(=> (attribute ?H Pneumonia) (exists (?I) (and (instance ?I (InflammationFn Lung)) (experiencer ?I ?H))))	Mid-level-ontology.kif 6206-6212	Wenn Pneumonia ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Process um Process ist ein fall von InflammationFn Lung %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung))))	Medicine.kif 4481-4492	Wenn Pulmonologist ist ein attribut von Object %n{nicht}, dann es gibt Process, Process,, , Object, and und Object um Class ist eine teilkategorie von DiagnosticProcess und Class ist eine teilkategorie von TherapeuticProcess und Object ist ein patient von Process %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von Object %n{nicht} und Process befindet sich an %n{nicht} und Process befindet sich an %n{nicht}
(=> (capability Breathing experiencer ?ANIMAL) (exists (?LUNG) (and (component ?LUNG ?ANIMAL) (instance ?LUNG Lung))))	Mid-level-ontology.kif 11190-11195	Wenn CorpuscularObject ist faehig %n{nicht}, in der Rolle experiencer Breathing zu tun, dann es gibt CorpuscularObject um CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von Lung %n{nicht}
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (holdsDuring ?T (exists (?A) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (between ?L ?A ?C)))))	Medicine.kif 799-810	Wenn Pneumothorax ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt entity um entity ist ein fall von Air %n{nicht} und entity ist ein fall von Lung %n{nicht} und entity ist ein fall von Chest %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist zwischen entity und entity %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (instance ?A Alveolus) (exists (?L) (and (instance ?L Lung) (located ?A ?L))))	Mid-level-ontology.kif 11095-11100	Wenn Physical ist ein fall von Alveolus %n{nicht}, dann es gibt Object um Object ist ein fall von Lung %n{nicht} und Physical befindet sich an %n{nicht}
(=> (instance ?DUCT BronchialDuct) (exists (?LUNG) (and (instance ?LUNG Lung) (located ?DUCT ?LUNG))))	Mid-level-ontology.kif 11069-11074	Wenn Physical ist ein fall von BronchialDuct %n{nicht}, dann es gibt Object um Object ist ein fall von Lung %n{nicht} und Physical befindet sich an %n{nicht}
(=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L))))	Mid-level-ontology.kif 11304-11309	Wenn Process ist ein fall von Exhaling %n{nicht}, dann es gibt Object um Object ist ein fall von Lung %n{nicht} und Process beginnet an ** Object %n{nicht}
(=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L))))	Mid-level-ontology.kif 11293-11298	Wenn Process ist ein fall von Inhaling %n{nicht}, dann es gibt Entity um Entity ist ein fall von Lung %n{nicht} und Process endet an ** Entity %n{nicht}
(=> (instance ?LE LungEpithelium) (exists (?L) (and (instance ?L Lung) (meetsSpatially ?L ?LE))))	Medicine.kif 3075-3080	Wenn Object ist ein fall von LungEpithelium %n{nicht}, dann es gibt Object um Object ist ein fall von Lung %n{nicht} und Object schliesst Object raeumlich an

statement

(subclass LeftLung (BodySideFn Left Lung))	Medicine.kif 2894-2894	LeftLung ist eine teilkategorie von BodySideFn Left and Lung
(subclass RightLung (BodySideFn Right Lung))	Medicine.kif 2897-2897	RightLung ist eine teilkategorie von BodySideFn Right and Lung

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