(=>
(and
(instance ?ANI Animal)
(instance ?D DiseaseOrSyndrome)
(not
(attribute ?ANI ?D)))
(exists (?P ?W)
(and
(instance ?P BiologicalProcess)
(instance ?P Removing)
(origin ?P ?ANI)
(instance ?W Sewage)
(agent ?P ?ANI)
(objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2162-2175 |
|
(=>
(and
(instance ?AS AutomobileShock)
(instance ?C Compressing)
(instance ?H HoleRegion)
(attribute ?F Fluid)
(equal ?AS
(HoleHostFn ?H))
(contains ?AS ?F)
(patient ?C ?AS))
(exists (?T)
(and
(instance ?T Transfer)
(objectTransferred ?T ?F)
(path ?T ?H)
(causes ?C ?T)))) |
Cars.kif 871-885 |
|
(=>
(and
(instance ?BI BreakthroughInfection)
(objectTransferred ?BI ?V)
(instance ?V ?VC)
(experiencer ?BI ?H))
(exists (?VAX)
(and
(instance ?VAX Vaccination)
(experiencer ?VAX ?H)
(vaccine ?VACCINECLASS ?VC)
(instance ?VACCINE ?VACCINECLASS)
(objectTransferred ?VAX ?VACCINE)
(earlier
(WhenFn ?VAX)
(WhenFn ?BI))))) |
Medicine.kif 3179-3194 |
|
(=>
(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 6056-6075 |
|
(=>
(and
(instance ?C Crying)
(experiencer ?C ?H))
(exists (?T ?E)
(and
(instance ?T TearSubstance)
(origin ?C ?E)
(objectTransferred ?C ?T)
(instance ?E Eye)
(part ?E ?H)))) |
emotion.kif 1129-1139 |
|
(=>
(and
(instance ?C Sneezing)
(experiencer ?C ?H))
(hasPurpose ?C
(exists (?R ?N ?NOSE ?O)
(and
(instance ?N NasalCavity)
(instance ?NOSE Nose)
(equal ?NOSE
(HoleHostFn ?N))
(instance ?O Object)
(instance ?R Removing)
(part ?NOSE ?H)
(objectTransferred ?R ?O)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(located ?O ?N)))))) |
Mid-level-ontology.kif 6122-6140 |
|
(=>
(and
(instance ?DUSTSTORM DustStorm)
(instance ?WIND Wind)
(subProcess ?DUSTSTORM ?WIND))
(exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(and
(instance ?A1 LandArea)
(eventLocated ?WIND ?A1)
(surfaceWindSpeed ?A1
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0)
(instance ?TRANSLOCATE Translocation)
(subProcess ?TRANSLOCATE ?DUSTSTORM)
(objectTransferred ?TRANSLOCATE ?PM)
(objectTransferred ?TRANSLOCATE ?SAND)
(instance ?PM ParticulateMatter)
(instance ?SAND Sand)
(instance ?A2 LandArea)
(destination ?TRANSLOCATE ?A2)
(not
(overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1275-1296 |
- Wenn Process ist ein fall von DustStorm %n{nicht} und ** Process ist ein fall von Wind %n{nicht} und ** Process ist ein subProzess von ** ** Process,
- dann es gibt Transfer, Object,, , ** Object,, , ** Object,, , ** Object, and und RealNumber um ** ** Object ist ein fall von LandArea %n{nicht} und eventLocated ** ** Process and ** ** Object und surfaceWindSpeed ** ** Object and ** RealNumber KnotUnitOfSpeed(s) und ** RealNumber ist groesserAls 30.0 %n{nicht} und ** Transfer ist ein fall von Translocation %n{nicht} und ** Transfer ist ein subProzess von ** Process und objectTransferred ** Transfer and ** Object und objectTransferred ** Transfer and ** ** Object und ** Object ist ein fall von ParticulateMatter %n{nicht} und ** ** Object ist ein fall von Sand %n{nicht} und ** ** Object ist ein fall von LandArea %n{nicht} und ** Transfer endet an ** ** Object %n{nicht} und ** ** Object deckt sich mit ** ** Object raeumlich nicht
|
(=>
(and
(instance ?HA HeartAttack)
(instance ?H Heart)
(located ?HA ?H))
(exists (?M)
(and
(instance ?M Muscle)
(part ?M ?H)
(not
(exists (?BF ?B)
(and
(instance ?BF LiquidMotion)
(objectTransferred ?BF ?B)
(instance ?B Blood)
(during ?BF
(WhenFn ?HA))
(destination ?BF ?M))))))) |
Mid-level-ontology.kif 11368-11385 |
|
(=>
(and
(instance ?HA Stroke)
(instance ?H Brain)
(located ?HA ?H))
(exists (?M)
(and
(instance ?M NerveCell)
(part ?M ?H)
(not
(exists (?BF ?B)
(and
(instance ?BF LiquidMotion)
(objectTransferred ?BF ?B)
(instance ?B Blood)
(during ?BF
(WhenFn ?HA))
(destination ?BF ?M))))))) |
Mid-level-ontology.kif 11915-11932 |
|
(=>
(and
(instance ?LECS AirEngineCoolingSystem)
(instance ?C Cooling)
(instrument ?C ?LECS))
(exists (?A)
(and
(instance ?A Air)
(objectTransferred ?C ?A)))) |
Cars.kif 2182-2190 |
|
(=>
(and
(instance ?LECS LiquidEngineCoolingSystem)
(instance ?C Cooling)
(instrument ?C ?LECS))
(exists (?L)
(and
(attribute ?L Liquid)
(objectTransferred ?C ?L)))) |
Cars.kif 2166-2174 |
|
(=>
(and
(instance ?M MoveToEvac)
(objectTransferred ?M ?P))
(hasPurpose ?M
(exists (?E)
(and
(instance ?E Evacuation)
(objectTransferred ?E ?P)
(earlier
(WhenFn ?M)
(WhenFn ?E)))))) |
Medicine.kif 6532-6543 |
|
(=>
(and
(instance ?P Prescription)
(instance ?M Medicine)
(refers ?P ?M))
(exists (?PHARM ?S)
(and
(instance ?S Selling)
(objectTransferred ?S ?M)
(agent ?S ?PHARM)
(attribute ?S Pharmacist)))) |
Mid-level-ontology.kif 9278-9288 |
|
(=>
(and
(instance ?S Speaking)
(instance ?J Jaw)
(agent ?S ?H)
(part ?J ?H))
(modalAttribute
(exists (?M)
(and
(instance ?M BodyMotion)
(objectTransferred ?M ?J)
(during
(WhenFn ?M)
(WhenFn ?S)))) Likely)) |
Anatomy.kif 1664-1676 |
|
(=>
(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 6595-6607 |
|
(=>
(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 6567-6577 |
|
(=>
(and
(instance ?SU SoftwareUpgrading)
(patient ?SU ?C)
(instance ?C Computer))
(exists (?P)
(and
(objectTransferred ?SU ?P)
(instance ?P ComputerProgram)
(holdsDuring
(BeginFn
(WhenFn ?SU)
(softwareVersion ?P PreviousVersion)))
(holdsDuring
(EndFn
(WhenFn ?SU)
(softwareVersion ?P CurrentVersion)))))) |
ComputingBrands.kif 3826-3840 |
|
(=>
(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 Transfer)
(objectTransferred ?T ?O)
(orientation ?O2 ?O Inside))
(objectTransferred ?T ?O2)) |
Merge.kif 11352-11357 |
|
(=>
(and
(instance ?T Transfer)
(objectTransferred ?T ?O)
(orientation ?O2 ?O On))
(objectTransferred ?T ?O2)) |
Merge.kif 11359-11364 |
|
(=>
(and
(property ?X Booting)
(instance ?X Computer))
(exists (?CD ?OS ?DT)
(and
(instance ?CD DigitalData)
(instance ?OS OperatingSystem)
(instance ?DT DataTransfer)
(during
(WhenFn ?DT)
(WhenFn ?X))
(destination ?DT ?X)
(part ?CD ?OS)
(objectTransferred ?DT ?CD)))) |
ComputingBrands.kif 3217-3229 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G Collection)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30956-30971 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G Collection)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30923-30938 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30973-30987 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30940-30954 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |