(=>
(and
(holdsDuring ?YEAR
(annualElectricityConsumption ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2123-2130 |
|
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(exists (?PERSON)
(and
(instance ?PERSON Human)
(wears ?PERSON ?PE)))
(exists (?PROTECT ?EYE ?INJ ?I ?T)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?PE)
(subclass ?INJ
(KappaFn ?I
(exists (?HUMAN)
(and
(instance ?I Injuring)
(instance ?EYE Eye)
(instance ?HUMAN Human)
(properPart ?EYE ?HUMAN)
(patient ?I ?EYE)
(=>
(holdsDuring ?T
(patient ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROTECT ?PERSON))))))))
(prevents ?PROTECT ?INJ)))))) |
Cars.kif 3482-3509 |
|
(=>
(and
(instance ?X BreakingRecord)
(agent ?X ?A1))
(exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(and
(instance ?AC Set)
(element ?A1 ?AC)
(subclass ?PC Process)
(instance ?L Region)
(instance ?TP TimePoint)
(instance ?Q Quantity)
(instance ?P1 ?PC)
(refers ?X ?Q)
(refers ?Q ?P1)
(playsRoleInEvent ?A1 ?ROLE ?P1)
(eventLocated ?P1 ?L)
(not
(exists (?A2 ?P2)
(and
(instance ?A2 ?AC)
(not
(equal ?A2 ?A1))
(instance ?P2 ?PC)
(holdsDuring
(TimeIntervalFn ?TP
(EndFn
(WhenFn ?X)))
(and
(playsRoleInEvent ?A2 ?ROLE ?P2)
(eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 30030-30060 |
- Wenn Process ist ein fall von BreakingRecord %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt Set, Class,, , ** Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um ** Set ist ein fall von Set %n{nicht} und ** AutonomousAgent ist ein element von ** Set %n{nicht} und ** Class ist eine teilkategorie von Process und ** Object ist ein fall von Region %n{nicht} und ** TimePoint ist ein fall von TimePoint %n{nicht} und ** Entity ist ein fall von Quantity %n{nicht} und ** ** Process ist ein fall von ** Class %n{nicht} und ** Process umfasst einen hinweis auf ** Entity und ** Entity umfasst einen hinweis auf ** ** Process und playsRoleInEvent ** AutonomousAgent, ** CaseRole and ** ** Process und eventLocated ** ** Process and ** Object und es gibt nicht ** Entity und ** Entity um ** ** Entity ist ein fall von ** Set %n{nicht} und ** ** Entity ist gleich ** AutonomousAgent nicht und ** ** Entity ist ein fall von ** Class %n{nicht} und playsRoleInEvent ** ** Entity, ** CaseRole and ** ** Entity und eventLocated ** ** Entity and ** Object haelt waehrend abstand zwischen ** TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
|
(=>
(and
(holdsDuring ?YEAR
(annualImportTotal ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2594-2601 |
|
(=>
(and
(electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityProduction ?AREA ?AMOUNT))))) |
Economy.kif 1980-1989 |
|
(=>
(and
(holdsDuring ?YEAR
(annualExportTotal ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2288-2295 |
|
(=>
(instance ?X Protecting)
(hasPurpose ?X
(exists (?OBJ ?T ?H ?HARM)
(and
(instance ?OBJ Object)
(patient ?X Object)
(subclass ?HARM
(KappaFn ?H
(and
(or
(instance ?H CriminalAction)
(instance ?H Damaging))
(=>
(holdsDuring ?T
(patient ?H ?OBJ))
(not
(holdsDuring ?T
(patient ?X ?OBJ)))))))
(or
(prevents ?X ?HARM)
(hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 18421-18442 |
|
(=>
(and
(or
(instance ?ROLE OccupationalTrade)
(instance ?ROLE Profession))
(holdsDuring ?T1
(attribute ?HUMAN ?ROLE)))
(exists (?FIELD)
(and
(subclass ?FIELD FieldOfStudy)
(holdsDuring ?T1
(hasExpertise ?HUMAN ?FIELD))))) |
Mid-level-ontology.kif 8293-8302 |
|
(=>
(and
(holdsDuring ?T1
(publishes ?AGENT ?COMPCLASS))
(subclass ?COMPCLASS Periodical))
(holdsDuring ?T1
(attribute ?AGENT PeriodicalPublishers))) |
Media.kif 1906-1910 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityProduction ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 1991-1998 |
|
(=>
(and
(instance ?HP HearingProtection)
(instance ?PERSON Human)
(wears ?PERSON ?HP))
(hasPurpose ?HP
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?SOUND ?HEAR ?HUMAN ?T)
(and
(instance ?SOUND RadiatingSound)
(instance ?HEAR Hearing)
(instance ?HUMAN Human)
(patient ?HEAR ?SOUND)
(experiencer ?HEAR ?HUMAN)
(causes ?HEAR ?I)
(experiencer ?I ?HUMAN)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ)
(instrument ?PROC ?HP))))) |
Cars.kif 3447-3476 |
|
(=>
(and
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validityPeriod ?PS ?TIMEINT))
(holdsDuring ?TIMEINT
(modalAttribute
(=>
(and
(instance ?S Selling)
(agent ?S ?AGENT)
(patient ?S ?ITEM))
(transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 |
|
(=>
(instance ?BERG Iceberg)
(exists (?SHEET)
(and
(subclass ?SHEET Glacier)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BERG))
(material ?SHEET ?BERG))))) |
Geography.kif 4732-4740 |
|
(=>
(and
(holdsDuring ?T1
(publishes ?AGENT ?COMPCLASS))
(subclass ?COMPCLASS MusicalComposition))
(holdsDuring ?T1
(attribute ?AGENT MusicPublishers))) |
Media.kif 1888-1892 |
|
(=>
(and
(holdsDuring ?T1
(publishes ?AGENT ?COMPCLASS))
(subclass ?COMPCLASS Book))
(holdsDuring ?T1
(attribute ?AGENT BookPublishers))) |
Media.kif 1900-1904 |
|
(=>
(and
(electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityImport ?AREA ?AMOUNT))))) |
Economy.kif 2202-2211 |
|
(=>
(and
(holdsDuring ?T1
(publishes ?AGENT ?COMPCLASS))
(subclass ?COMPCLASS Newspaper))
(holdsDuring ?T1
(attribute ?AGENT NewspaperPublishers))) |
Media.kif 1912-1916 |
|
(=>
(and
(instance ?SH SafetyHarness)
(instance ?PERSON Animal)
(wears ?PERSON ?SH))
(hasPurpose ?SH
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(instrument ?PROC ?SH)
(patient ?PROC ?PERSON)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?F ?H ?T)
(and
(instance ?H Human)
(experiencer ?I ?H)
(instance ?F Falling)
(experiencer ?F ?H)
(causes ?F ?I)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ))))) |
Cars.kif 3389-3417 |
|
(=>
(and
(importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualImportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2583-2592 |
|
(=>
(and
(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualExportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2277-2286 |
|
(=>
(and
(electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityConsumption ?AREA ?AMOUNT))))) |
Economy.kif 2112-2121 |
|
(=>
(and
(holdsDuring ?T1
(publishes ?AGENT ?COMPCLASS))
(subclass ?COMPCLASS Text))
(holdsDuring ?T1
(attribute ?AGENT InformationIndustries))) |
Media.kif 1894-1898 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityImport ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2213-2220 |
|
(=>
(and
(holdsDuring ?YEAR
(annualElectricityExport ?AREA ?AMOUNT))
(instance ?YEAR ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2167-2174 |
|
(=>
(and
(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
(or
(subclass ?PERIOD Year)
(subclass ?PERIOD
(FiscalYearFn ?AREA))))
(exists (?YEAR)
(and
(instance ?YEAR ?PERIOD)
(holdsDuring ?YEAR
(annualElectricityExport ?AREA ?AMOUNT))))) |
Economy.kif 2156-2165 |
|