(=>     (and         (instance ?REM OrganismRemains)         (holdsDuring             (WhenFn ?REM)             (part ?OBJ ?REM)))     (exists (?ORG)         (and             (instance ?ORG Organism)             (earlier                 (WhenFn ?ORG)                 (WhenFn ?REM))             (finishes                 (WhenFn ?REM)                 (WhenFn ?ORG))             (holdsDuring                 (WhenFn ?ORG)                 (part ?OBJ ?ORG)))))	Mid-level-ontology.kif 45-56	Wenn Physical ist ein fall von OrganismRemains %n{nicht} und entity ist ein teil von ** Physical %n{nicht} haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}, dann es gibt ** Physical um ** ** Physical ist ein fall von Organism %n{nicht} und die zeit des Bestehens von ** ** Physical geschieht frueh als die zeit des Bestehens von ** Physical %n{nicht} und die zeit des Bestehens von ** Physical beendet die zeit des Bestehens von ** ** Physical %n{nicht} und ** entity ist ein teil von ** ** Physical %n{nicht} haelt waehrend die zeit des Bestehens von ** ** Physical %n{nicht}
(=>     (and         (instance ?S Seizure)         (experiencer ?S ?A))     (exists (?B)         (and             (instance ?B Brain)             (part ?B ?A)             (located ?S ?B))))	Medicine.kif 1613-1621	Wenn Process ist ein fall von Seizure %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Object um ** Object ist ein fall von Brain %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Process befindet sich an %n{nicht}
(=>     (and         (instance ?S Septoplasty)         (experiencer ?S ?H))     (exists (?SEPT)         (and             (instance ?SEPT NasalSeptum)             (part ?SEPT ?H)             (patient ?S ?SEPT))))	Medicine.kif 4447-4455	Wenn Process ist ein fall von Septoplasty %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** ProcessEPT um ** ProcessEPT ist ein fall von NasalSeptum %n{nicht} und ** ProcessEPT ist ein teil von ** AutonomousAgent %n{nicht} und ** ProcessEPT ist ein patient von ** Process %n{nicht}
(=>     (and         (instance ?S Stairway)         (part ?S ?B)         (instance ?B Building))     (hasPurpose ?S         (exists (?L1 ?L2)             (and                 (instance ?L1 BuildingLevel)                 (instance ?L2 BuildingLevel)                 (part ?L1 ?B)                 (part ?L2 ?B)                 (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 15072-15084	Wenn Object ist ein fall von Stairway %n{nicht} und ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von Building %n{nicht}, dann ** Object hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von BuildingLevel %n{nicht} und ** ** entity ist ein fall von BuildingLevel %n{nicht} und ** entity ist ein teil von ** ** Object %n{nicht} und ** ** entity ist ein teil von ** ** Object %n{nicht} und ** Object schleisst ** entity und ** ** entity an %n{nicht}
(=>     (and         (instance ?S Sunburn)         (experiencer ?S ?H))     (exists (?D ?SKIN)         (and             (instance ?D Damaging)             (instrument ?D Sol)             (instance ?SKIN Skin)             (part ?SKIN ?H)             (patient ?D ?SKIN))))	Mid-level-ontology.kif 11004-11014	Wenn Process ist ein fall von Sunburn %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process und ** ProcessKIN um ** ** Process ist ein fall von Damaging %n{nicht} und Sol ist ein instrument fuer ** ** Process %n{nicht} und ** ProcessKIN ist ein fall von Skin %n{nicht} und ** ProcessKIN ist ein teil von ** AutonomousAgent %n{nicht} und ** ProcessKIN ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?S Tanning)         (experiencer ?S ?H))     (exists (?D ?SKIN)         (and             (instance ?D RadiatingUltraviolet)             (instrument ?D Sol)             (instance ?SKIN Skin)             (part ?SKIN ?H)             (patient ?D ?SKIN))))	Mid-level-ontology.kif 11022-11032	Wenn Process ist ein fall von Tanning %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process und ** ProcessKIN um ** ** Process ist ein fall von RadiatingUltraviolet %n{nicht} und Sol ist ein instrument fuer ** ** Process %n{nicht} und ** ProcessKIN ist ein fall von Skin %n{nicht} und ** ProcessKIN ist ein teil von ** AutonomousAgent %n{nicht} und ** ProcessKIN ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?SAW Saw)         (instance ?CUT Cutting)         (instrument ?CUT ?SAW)         (instance ?OBJ Object)         (patient ?CUT ?OBJ))     (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)         (and             (instance ?MOTION Motion)             (subProcess ?MOTION ?CUT)             (instance ?PART CuttingDevice)             (part ?PART ?SAW)             (meetsSpatially ?PART ?OBJ)             (patient ?MOTION ?PART)             (instance ?T2 TimeInterval)             (instance ?T2 TimeInterval)             (equal                 (WhenFn ?MOTION) ?TIME)             (temporalPart ?TIME ?T1)             (temporalPart ?TIME ?T2)             (instance ?DIR1 DirectionalAttribute)             (instance ?DIR2 DirectionalAttribute)             (=>                 (holdsDuring ?T1                     (direction ?MOTION ?DIR1))                 (holdsDuring ?T2                     (and                         (direction ?MOTION ?DIR2)                         (or                             (equal ?DIR1 ?DIR2)                             (oppositeDirection ?DIR1 ?DIR2))                         (not                             (and                                 (equal ?DIR1 ?DIR2)                                 (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 18149-18183	Wenn Object ist ein fall von Saw %n{nicht} und Process ist ein fall von Cutting %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Object ist ein fall von Object %n{nicht} und ** ** Object ist ein patient von ** Process %n{nicht}, dann es gibt ** Process, Entity,, , ** Entity,, , TimeInterval,, , TimePosition,, , ** TimePosition, and und ** Object um ** ** Process ist ein fall von Motion %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Object ist ein fall von CuttingDevice %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schliesst ** ** Object raeumlich an und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und die zeit des Bestehens von ** ** Process ist gleich ** TimeInterval %n{nicht} und ** TimeInterval ist ein teil von ** TimePosition %n{nicht} und ** TimeInterval ist ein teil von ** ** TimePosition %n{nicht} und ** Entity ist ein fall von DirectionalAttribute %n{nicht} und ** ** Entity ist ein fall von DirectionalAttribute %n{nicht} und wenn Wesen bei ** ** Process bewegen ** Entity haelt waehrend ** TimePosition %n{nicht}, dann Wesen bei ** ** Process bewegen ** ** Entity und ** Entity ist gleich ** ** Entity %n{nicht} oder oppositeDirection ** Entity and ** ** Entity und ~{ ** Entity ist gleich ** ** Entity %n{nicht} } oder ~{ oppositeDirection ** Entity and ** ** Entity } haelt waehrend ** ** TimePosition %n{nicht}
(=>     (and         (instance ?SHORE ShoreArea)         (instance ?WATER WaterArea)         (orientation ?SHORE ?WATER Adjacent))     (exists (?LINE)         (and             (instance ?LINE Shoreline)             (part ?LINE ?SHORE)             (meetsSpatially ?LINE ?WATER))))	Geography.kif 6152-6161	Wenn Object ist ein fall von ShoreArea %n{nicht} und ** Object ist ein fall von WaterArea %n{nicht} und ** Object ist Adjacent hinsichlich ** ** Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von Shoreline %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schliesst ** ** Object raeumlich an
(=>     (and         (instance ?SPIT Drooling)         (experiencer ?SPIT ?ANIMAL))     (exists (?MOUTH ?S)         (and             (instance ?MOUTH Mouth)             (objectTransferred ?SPIT ?S)             (instance ?S Saliva)             (part ?MOUTH ?ANIMAL)             (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6566-6576	Wenn Transfer ist ein fall von Drooling %n{nicht} und AutonomousAgent erfaehrt ** Transfer %n{nicht}, dann es gibt Object und ** Object um ** Object ist ein fall von Mouth %n{nicht} und objectTransferred ** Transfer and ** ** Object und ** ** Object ist ein fall von Saliva %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Transfer beginnet an ** Object %n{nicht}
(=>     (and         (instance ?SPIT Spitting)         (agent ?SPIT ?ANIMAL))     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (part ?MOUTH ?ANIMAL)             (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6552-6560	Wenn Process ist ein fall von Spitting %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Object um ** Object ist ein fall von Mouth %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Process beginnet an ** Object %n{nicht}
(=>     (and         (instance ?SS AutoimmuneVasculitis)         (experiencer ?SS ?H))     (exists (?B ?I)         (and             (instance ?B BloodVessel)             (part ?B ?H)             (instance ?I Inflammation)             (patient ?I ?B))))	Medicine.kif 2425-2434	Wenn Process ist ein fall von AutoimmuneVasculitis %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Object und ** Process um ** Object ist ein fall von BloodVessel %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** ** Process ist ein fall von Inflammation %n{nicht} und ** Object ist ein patient von ** ** Process %n{nicht}
(=>     (and         (instance ?SUBLIMATION Sublimation)         (patient ?SUBLIMATION ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?SUBLIMATION))                 (attribute ?PART Solid))             (holdsDuring                 (EndFn                     (WhenFn ?SUBLIMATION))                 (attribute ?PART Gas))             (not                 (holdsDuring                     (WhenFn ?SUBLIMATION)                     (attribute ?PART Liquid))))))	Geography.kif 7049-7066	Wenn Process ist ein fall von Sublimation %n{nicht} und Object ist ein patient von ** Process %n{nicht}, dann es gibt ** Object um ** ** Object ist ein teil von ** Object %n{nicht} und Solid ist ein attribut von ** ** Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Gas ist ein attribut von ** ** Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und Liquid ist ein attribut von ** ** Object %n{nicht} haelt waehrend die zeit des Bestehens von ** Process nicht
(=>     (and         (instance ?SYSTEM InlandWaterSystem)         (instance ?WATER1 WaterArea)         (instance ?WATER2 WaterArea)         (not             (equal ?WATER1 ?WATER2))         (not             (connected ?WATER1 ?WATER2))         (geographicSubregion ?WATER1 ?SYSTEM)         (geographicSubregion ?WATER2 ?SYSTEM))     (exists (?WATER3)         (and             (instance ?WATER3 WaterArea)             (not                 (equal ?WATER3 ?WATER1))             (not                 (equal ?WATER3 ?WATER1))             (part ?WATER3 ?SYSTEM)             (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5380-5395	Wenn GeographicArea ist ein fall von InlandWaterSystem %n{nicht} und ** GeographicArea ist ein fall von WaterArea %n{nicht} und ** GeographicArea ist ein fall von WaterArea %n{nicht} und ** ** GeographicArea ist gleich ** ** GeographicArea nicht und ** ** GeographicArea wird an ** ** GeographicArea nicht angeschlossen und geographicSubregion ** ** GeographicArea and ** GeographicArea und geographicSubregion ** ** GeographicArea and ** GeographicArea, dann es gibt Object um ** Object ist ein fall von WaterArea %n{nicht} und ** Object ist gleich ** ** GeographicArea nicht und ** Object ist gleich ** ** GeographicArea nicht und ** Object ist ein teil von ** GeographicArea %n{nicht} und ** Object schleisst ** ** GeographicArea und ** ** GeographicArea an
(=>     (and         (instance ?SYSTEM RiverSystem)         (instance ?STREAM StreamWaterArea)         (part ?STREAM ?SYSTEM))     (exists (?RIVER)         (and             (instance ?RIVER River)             (part ?RIVER ?SYSTEM)             (flows ?STREAM ?RIVER))))	Geography.kif 5533-5542	Wenn Object ist ein fall von RiverSystem %n{nicht} und ** Object ist ein fall von StreamWaterArea %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von River %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und flows ** ** Object and ** ** Object
(=>     (and         (instance ?T Tailpipe)         (instance ?TR Transfer)         (instance ?E Exhaust)         (instance ?A Automobile)         (instance ?AES AutomobileExhaustSystem)         (part ?T ?A)         (path ?TR ?T)         (patient ?TR ?E))     (hasPurpose ?T         (not             (exists (?O)                 (and                     (part ?O ?A)                     (beforeOnPath ?T ?O ?AES ?TR))))))	Cars.kif 4054-4069	Wenn Object ist ein fall von Tailpipe %n{nicht} und ** ObjectR ist ein fall von Transfer %n{nicht} und Entity ist ein fall von Exhaust %n{nicht} und ** Object ist ein fall von Automobile %n{nicht} und ** ** ObjectES ist ein fall von AutomobileExhaustSystem %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und ** Object ist der pfad entlang dem ** ObjectR geschieht und ** Entity ist ein patient von ** ObjectR %n{nicht}, dann ** Object hat Zweck von es gibt nicht ** entity um ** ** entity ist ein teil von ** ** Object %n{nicht} und beforeOnPath ** Object, ** ** entity, ** ** ObjectES and ** ObjectR %n{nicht}
(=>     (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 ?T Tornado)         (instance ?R Rotating)         (instance ?A Air)         (instance ?TRAN Translocation)         (subProcess ?R ?T)         (subProcess ?TRAN ?R)         (patient ?TRAN ?A)         (direction ?TRAN Horizontal))     (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)         (and             (instance ?G GeographicArea)             (eventLocated ?T ?G)             (part ?FUNNEL ?A)             (attribute ?FUNNEL ConeSegment)             (top ?TOP ?FUNNEL)             (bottom ?BOTTOM ?FUNNEL)             (instance ?C Cloud)             (bottom ?BASE ?C)             (meetsSpatially ?TOP ?BASE)             (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1647-1668	Wenn Process ist ein fall von Tornado %n{nicht} und ** Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ** ProcessRAN ist ein fall von Translocation %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ProcessRAN ist ein subProzess von ** ** Process und ** Object ist ein patient von ** ProcessRAN %n{nicht} und Wesen bei ** ProcessRAN bewegen Horizontal, dann es gibt ** Object, SelfConnectedObject,, , ** ProcessOP,, , ** SelfConnectedObject,, , ** SelfConnectedObject, and und ** SelfConnectedObject um ** ** Object ist ein fall von GeographicArea %n{nicht} und eventLocated ** Process and ** ** Object und ** SelfConnectedObject ist ein teil von ** Object %n{nicht} und ConeSegment ist ein attribut von ** SelfConnectedObject %n{nicht} und die oberseite von ** SelfConnectedObject ist ** ProcessOP und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von ** ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ProcessOP schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject schliesst ** ** Object raeumlich an
(=>     (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 ?V Vertebrate)         (instance ?H Head)         (part ?H ?V)         (attribute ?V Healthy))     (exists (?S ?B)         (and             (instance ?S Skull)             (member ?B ?S)             (part ?B ?H))))	Mid-level-ontology.kif 11486-11496	Wenn Object ist ein fall von Vertebrate %n{nicht} und ** Object ist ein fall von Head %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Healthy ist ein attribut von ** Object %n{nicht}, dann es gibt Collection und ** Object um ** Collection ist ein fall von Skull %n{nicht} und ** ** Object ist ein Mitglied von ** Collection %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (and         (instance ?V Vertebrate)         (instance ?H Head)         (part ?H ?V)         (instance ?S Skull)         (attribute ?V Healthy)         (member ?B ?S)         (part ?B ?V))     (part ?B ?H))	Mid-level-ontology.kif 11498-11507	Wenn Object ist ein fall von Vertebrate %n{nicht} und ** Object ist ein fall von Head %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Collection ist ein fall von Skull %n{nicht} und Healthy ist ein attribut von ** Object %n{nicht} und ** Object ist ein Mitglied von ** Collection %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}, dann ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (and         (instance ?V VocalCords)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?V ?D)))     (exists (?F1 ?F2)         (and             (instance ?F1 VocalFold)             (instance ?F2 VocalFold)             (not                 (equal ?F1 ?F2))             (part ?F1 ?V)             (part ?F2 ?V))))	Mid-level-ontology.kif 809-822	Wenn Object ist ein fall von VocalCords %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 VocalFold %n{nicht} und ** ** Object ist ein fall von VocalFold %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 ?V Vomiting)         (experiencer ?V ?A))     (exists (?S ?O)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21412-21426	Wenn Process ist ein fall von Vomiting %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Object und entity um ** Object ist ein fall von Stomach %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** entity befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** entity befindet sich an nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?V Vomiting)         (instance ?O Vomit)         (patient ?V ?O)         (experiencer ?V ?A))     (exists (?S)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21451-21467	Wenn Process ist ein fall von Vomiting %n{nicht} und Entity ist ein fall von Vomit %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Object um ** Object ist ein fall von Stomach %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Entity befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity befindet sich an nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %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}
(=>     (and         (instance ?X Hydrocarbon)         (instance ?X Molecule))     (exists (?Y ?Z)         (and             (instance ?Y Hydrogen)             (instance ?Z Carbon)             (part ?Y ?X)             (part ?Z ?X))))	naics.kif 3036-3045	Wenn Object ist ein fall von Hydrocarbon %n{nicht} und ** Object ist ein fall von Molecule %n{nicht}, dann es gibt ** Object und ** Object um ** ** Object ist ein fall von Hydrogen %n{nicht} und ** ** Object ist ein fall von Carbon %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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