(=>
(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 30018-30048 |
- If a process is an instance of breaking record and an agent is an agent of the process,
- then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
|
(=>
(and
(defaultMinimumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13515-13526 |
|
(=>
(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 3455-3484 |
|
(=>
(instance ?CO CounterTerrorism)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS Terrorism)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2032-2042 |
|
(=>
(subclass ?X UniformClothing)
(exists (?GRP)
(hasUniform ?GRP ?X))) |
Mid-level-ontology.kif 26678-26681 |
|
(=>
(attribute ?H ObsessiveCompulsiveDisorder)
(exists (?COL ?C)
(and
(memberType ?COL ?C)
(or
(subclass ?C Investigating)
(subclass ?C Cleaning))
(=>
(instance ?CI ?C)
(and
(agent ?CI ?H)
(not
(wants ?H ?CI))))))) |
Medicine.kif 4025-4038 |
|
(=>
(instance ?C ElectricalConductor)
(exists (?S)
(and
(subclass ?S ConductorSubstance)
(material ?S ?C)))) |
engineering.kif 826-831 |
|
(=>
(subclass ?C
(CoveringFn ?B))
(hasPurpose ?C
(exists (?P ?BI ?CI)
(and
(instance ?P Covering)
(instance ?BI ?B)
(instance ?CI ?C)
(destination ?P ?BI)
(patient ?P ?CI))))) |
Mid-level-ontology.kif 29718-29727 |
|
(=>
(instance ?T Truck)
(exists (?L)
(and
(subclass ?L Object)
(cargoType ?T ?L)))) |
Transportation.kif 2019-2024 |
|
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1231-1239 |
|
(=>
(instance ?TEAM CrossFunctionalTeam)
(exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(and
(subclass ?SKILL Process)
(instance ?MEMBER1 Human)
(instance ?MEMBER2 Human)
(member ?MEMBER1 ?TEAM)
(member ?MEMBER2 ?TEAM)
(hasSkill ?SKILL ?MEMBER1)
(not
(hasSkill ?SKILL ?MEMBER2))
(instance ?INST ?SKILL)
(inScopeOfInterest ?TEAM ?INST)))) |
UXExperimentalTerms.kif 2630-2643 |
|
(=>
(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
(subclass ?PUB JointPublication)
(instance ?ONE ?PUB)
(containsInformation ?ONE ?CONTENT)
(authors ?JORG ?PUB))
(exists (?ORG)
(and
(subOrganization ?ORG USMilitary)
(confersObligation ?CONTENT ?JORG ?ORG)))) |
MilitaryProcesses.kif 940-949 |
|
(=>
(and
(guest ?CUST ?HOTEL)
(stays ?CUST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?R ?ROOM)
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(exists (?O)
(and
(instance ?O ?OBJ)
(located ?O ?R)
(confersRight
(exists (?PROC)
(and
(agent ?PROC ?CUST)
(or
(instrument ?PROC ?O)
(patient ?PROC ?O)
(resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 294-313 |
|
(=>
(and
(subclass ?TYPE TransportationDevice)
(subclass
(TransportationFn ?TYPE) Transportation)
(instance ?TRIP
(TransportationFn ?TYPE)))
(exists (?VEHICLE)
(and
(instance ?VEHICLE ?TYPE)
(instrument ?TRIP ?VEHICLE)))) |
Transportation.kif 1572-1580 |
|
(=>
(and
(not
(vegetationType ?REGION ?TYPE))
(subclass ?TYPE Plant)
(instance ?REGION GeographicArea))
(not
(exists (?PLANT)
(and
(instance ?PLANT ?TYPE)
(located ?PLANT ?REGION))))) |
Geography.kif 6201-6209 |
|
(=>
(instance ?TEAM SportsTeam)
(exists (?SPORT)
(and
(subclass ?SPORT Sport)
(capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 7527-7532 |
|
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FictionalText)
(authors ?AGENT ?CLASS))
(exists (?CONTENT)
(and
(subsumesContentInstance ?TEXT ?CONTENT)
(instance ?CONTENT Formula)
(not
(believes ?AGENT ?CONTENT))))) |
Merge.kif 15453-15462 |
|
(=>
(subclass ?VIRUS TickBorneEncephalitisVirus)
(exists (?DISEASE)
(and
(instance ?DISEASE TickBorneEncephalitis)
(biochemicalAgentSyndrome ?VIRUS ?DISEASE)))) |
WMD.kif 2029-2034 |
|
(=>
(instance ?S Seafood)
(exists (?DA ?F)
(and
(instance ?DA
(DeadFn ?F))
(part ?S ?DA)
(subclass ?F Fish)))) |
Food.kif 3377-3383 |
|
(=>
(and
(instance ?NUCLEUS ?CLASS)
(subclass ?CLASS CellNucleus)
(initialPart ?CLASS EukaryoticCell))
(exists (?CHROMOTIN)
(and
(instance ?CHROMOTIN Chromotin)
(part ?CHROMOTIN ?NUCLEUS)))) |
VirusProteinAndCellPart.kif 599-607 |
|
(=>
(and
(sheddingLeaves ?T ?L)
(instance ?T DeciduousTree)
(instance ?L PlantLeaf))
(exists (?SHED ?S)
(and
(subclass ?SHED Removing)
(frequency ?SHED YearDuration)
(instance ?S ?SHED)
(origin ?S ?T)
(patient ?S ?L)))) |
Geography.kif 6393-6404 |
|
(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(exists (?R ?O)
(and
(instance ?R
(DeadFn ?ORG))
(part ?R ?O)
(instance ?O ?ORG)))) |
Economy.kif 5267-5276 |
|
(=>
(instance ?CO CounterOperation)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS MilitaryOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2174-2184 |
|
(=>
(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 18420-18441 |
|
(=>
(subclass ?A Antibiotic)
(exists (?D)
(and
(instance ?D BacterialDisease)
(medicine ?A ?D)))) |
Mid-level-ontology.kif 9670-9675 |
|
(=>
(and
(roomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object))
(forall (?R)
(=>
(instance ?R ?ROOM)
(exists (?O)
(and
(instance ?R ?ROOM)
(instance ?O ?OBJ)
(located ?O ?R)))))) |
Hotel.kif 281-292 |
|
(=>
(and
(instance ?B Buying)
(patient ?B ?ITEM)
(origin ?B ?AGENT)
(or
(publishedPrice ?ENT ?PRICE ?AGENT ?PS)
(unitPrice ?ENT ?QUANT ?AGENT ?PS))
(subclass ?ENT Physical)
(immediateInstance ?ITEM ?ENT)
(validPaymentType ?PS ?PAY))
(modalAttribute
(exists (?PAYMENT)
(and
(instance ?PAYMENT ?PAY)
(subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 |
|
(=>
(instance ?BERG Iceberg)
(exists (?SHEET)
(and
(subclass ?SHEET Glacier)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BERG))
(material ?SHEET ?BERG))))) |
Geography.kif 4732-4740 |
|
(=>
(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 3397-3425 |
|
(=>
(and
(instance ?X Respirator)
(instance ?PERSON Animal)
(wears ?PERSON ?X))
(hasPurpose ?X
(exists (?INHAL ?INJ ?PROTECT ?I)
(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 3539-3560 |
|
(=>
(and
(attribute ?ROOM Oversized)
(immediateInstance ?ROOM ?HOTELUNIT)
(subclass ?HOTELUNIT HotelUnit))
(exists (?NORMAL ?AREA1 ?AREA2 ?U)
(and
(immediateInstance ?NORMAL ?HOTELUNIT)
(instance ?U UnitOfArea)
(measure ?NORMAL
(MeasureFn ?AREA1 ?U))
(measure ?ROOM
(MeasureFn ?AREA2 ?U))
(instance ?AREA1 AreaMeasure)
(instance ?AREA2 AreaMeasure)
(greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1186-1201 |
|
(=>
(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
(instance ?REL SheddingPart)
(?REL ?O ?P)
(instance ?O ?ORG)
(subclass ?ORG Organism))
(exists (?PART)
(and
(instance ?P
(DeadFn ?PART))
(initialPart ?PART ?ORG)))) |
Geography.kif 6425-6434 |
|
(=>
(and
(equal ?O
(OrganicObjectFn ?S))
(subclass ?O OilFromPlant)
(or
(subclass ?S Seed)
(subclass ?S Fruit)))
(exists (?P)
(and
(subclass ?P FloweringPlant)
(initialPart ?S ?P)))) |
Economy.kif 4532-4543 |
|
(=>
(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 |
|
(=>
(instance ?CF CharcoalFilter)
(exists (?C)
(and
(subclass ?C Charcoal)
(material ?C ?CF)))) |
Cars.kif 1694-1699 |
|
(=>
(immediateInstance ?ENTITY ?CLASS)
(not
(exists (?SUBCLASS)
(and
(subclass ?SUBCLASS ?CLASS)
(not
(equal ?SUBCLASS ?CLASS))
(instance ?ENTITY ?SUBCLASS))))) |
Merge.kif 98-104 |
|
(=>
(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 |
|
(=>
(and
(subclass ?PAPER Newspaper)
(instance ?WEEK Week))
(exists (?PUBLICATION ?ISSUE)
(and
(instance ?PUBLICATION Publication)
(temporalPart
(WhenFn ?PUBLICATION) ?WEEK)
(result ?PUBLICATION ?ISSUE)
(instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 14788-14797 |
|
(=>
(and
(vegetationType ?REGION ?TYPE)
(subclass ?TYPE Plant)
(instance ?REGION GeographicArea))
(exists (?PLANT)
(and
(instance ?PLANT ?TYPE)
(located ?PLANT ?REGION)))) |
Geography.kif 6191-6199 |
|
(=>
(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 3490-3517 |
|
(=>
(and
(instance ?R RecreationOrExercise)
(instrument ?R ?RM)
(instance ?RM RowingMachine)
(experiencer ?R ?H)
(instance ?ROW Rowing)
(subProcess ?RMOT ?R)
(subclass ?C BodyMotion)
(instance ?RMOT ?C))
(exists (?ROWMOT)
(and
(instance ?ROWMOT ?C)
(subProcess ?ROWMOT ?R)
(agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 8242-8256 |
|
(=>
(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 |
|
(=>
(attribute ?P Researcher)
(exists (?S)
(and
(subclass ?S Science)
(hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 18895-18900 |
|
(=>
(and
(orthogonalTests ?TESTCOL1 ?TESTCOL2)
(instance ?SUBJECT Human)
(instance ?EXPERIMENT1 ?CLASS1)
(subclass ?CLASS1 Experimenting)
(member ?EXPERIMENT1 ?TESTCOL1)
(capability ?CLASS1 experimentalSubject ?SUBJECT))
(exists (?EXPERIMENT2 ?CLASS2)
(and
(instance ?EXPERIMENT2 ?CLASS2)
(member ?EXPERIMENT2 ?TESTCOL2)
(subclass ?CLASS2 Experimenting)
(capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4467-4480 |
|
(=>
(and
(instance ?V ViolentContest)
(patient ?V ?H)
(attribute ?H
(InjuryCausedFn ?PC))
(attribute ?H
(ImpairedBodyPartFn Airway)))
(modalAttribute
(or
(subclass ?PC Combustion)
(exists (?FI)
(and
(instance ?I Injuring)
(located ?I ?F)
(instance ?F Face)
(patient ?I ?H)))) Likely)) |
Medicine.kif 698-715 |
|
(=>
(attribute ?H ArtCritic)
(hasPurpose ?H
(exists (?AW ?T ?CLASS)
(and
(instance ?AW ArtWork)
(overlapsTemporally
(WhenFn ?AW)
(WhenFn ?H))
(instance ?T ?CLASS)
(subclass ?CLASS Article)
(authors ?H ?CLASS)
(refers ?T ?AW))))) |
Mid-level-ontology.kif 21088-21100 |
|
(=>
(attribute ?DOCTOR MedicalDoctor)
(exists (?PROCESS1 ?PROCESS2)
(and
(subclass ?PROCESS1 DiagnosticProcess)
(subclass ?PROCESS2 TherapeuticProcess)
(capability ?PROCESS1 agent ?DOCTOR)
(capability ?PROCESS2 agent ?DOCTOR)))) |
Mid-level-ontology.kif 21035-21042 |
|
(=>
(instance ?S Spice)
(exists (?P ?CLASS)
(and
(instance ?P
(DeadFn ?CLASS))
(part ?S ?P)
(subclass ?CLASS PlantAnatomicalStructure)))) |
Economy.kif 4365-4372 |
|
(=>
(and
(maritimeClaimType ?AREA ?TYPE)
(subclass ?TYPE MaritimeClaimArea))
(exists (?CLAIM)
(and
(instance ?CLAIM ?TYPE)
(claimedTerritory ?CLAIM ?AREA)))) |
Geography.kif 989-996 |
|
(=>
(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
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Object)
(instance ?X ?PHYS))
(confersRight
(exists (?PROC)
(and
(instance ?PROC Process)
(or
(resource ?PROC ?X)
(instrument ?PROC ?X)
(patient ?PROC ?X))
(or
(agent ?PROC ?CUST)
(experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 504-520 |
|
(=>
(and
(subclass ?T1C Tissue)
(subclass ?T2C Tissue)
(instance ?T1 ?T1C)
(instance ?T2 ?T2C)
(instance ?H Human)
(part ?T1 ?H)
(part ?T2 ?H)
(not
(equal ?T1C ?T2C))
(not
(subclass ?T1C ?T2C))
(not
(subclass ?T2C ?T1C))
(orientation ?T1 ?T2 Adjacent))
(modalAttribute
(exists (?CT)
(and
(instance ?CT ConnectiveTissue)
(between ?T1 ?CT ?T2))) Likely)) |
Merge.kif 15188-15209 |
|
(=>
(and
(naturalHazardTypeInArea ?AREA ?TYPE)
(subclass ?TYPE Process))
(exists (?ITEM)
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA)
(overlapsTemporally
(WhenFn ?ITEM)
(WhenFn ?AREA))))) |
Geography.kif 2280-2290 |
|
(=>
(and
(paidRoomAmenity ?ROOM ?OBJ)
(subclass ?OBJ Object)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(instance ?O ?OBJ)
(located ?O ?R)
(instance ?P Process)
(agent ?P ?GUEST)
(or
(located ?P ?R)
(patient ?P ?O)
(instrument ?P ?O)
(resource ?P ?O)))
(exists (?PRICE ?U)
(and
(price ?O
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 |
|
(=>
(instance ?ARTIFACT GameArtifact)
(exists (?GAME)
(and
(subclass ?GAME Game)
(capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16980-16985 |
|
(=>
(and
(subclass ?PROGRAM NewsProgram)
(instance ?EPISODE
(SeriesVolumeFn ?PROGRAM ?NUMBER)))
(exists (?DISSEMINATE)
(and
(instance ?DISSEMINATE Disseminating)
(patient ?DISSEMINATE ?EPISODE)))) |
Mid-level-ontology.kif 14605-14612 |
|
(=>
(and
(functionRoomAmenity ?FR ?PHY)
(instance ?RM ?FR)
(element ?RM
(PropertyFn ?HOTEL))
(instance ?RENT Renting)
(patient ?RENT ?RM)
(agent ?RENT ?HOTEL)
(destination ?RENT ?CUST)
(subclass ?PHY Object))
(modalAttribute
(exists (?O ?P)
(and
(instance ?O ?PHY)
(instance ?P Process)
(or
(resource ?P ?O)
(instrument ?P ?O)
(patient ?P ?O))
(or
(agent ?P ?CUST)
(experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 811-832 |
|
(=>
(and
(instance ?PROCESS ?PROCESS_CLASS)
(subclass ?PROCESS_CLASS Process)
(instance ?ACCESSING AccessingWebPage)
(instance ?AGENT AutonomousAgent)
(agent ?PROCESS ?AGENT)
(agent ?ACCESSING ?AGENT)
(during ?PROCESS ?ACCESSING)
(instance ?TIMETOFIRST TimeInterval)
(not
(exists (?PROCESS2)
(and
(instance ?PROCESS2 ?PROCESS_CLASS)
(agent ?PROCESS2 ?AGENT)
(during ?PROCESS2 ?ACCESSING)
(before
(BeginFn
(WhenFn ?PROCESS2))
(BeginFn
(WhenFn ?PROCESS))))))
(equal
(BeginFn
(WhenFn ?ACCESSING))
(BeginFn
(WhenFn ?TIMETOFIRST)))
(equal
(BeginFn
(WhenFn ?PROCESS))
(EndFn
(WhenFn ?TIMETOFIRST))))
(equal
(TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1496-1518 |
|
(=>
(and
(instance ?WED Wedding)
(date ?WED ?DAY)
(instance ?DAY
(DayFn ?D
(MonthFn ?M
(YearFn ?Y)))))
(exists (?CLASS ?FUTURE)
(and
(weddingAnniversary ?WED ?CLASS)
(subclass ?CLASS Day)
(instance ?FUTURE Integer)
(equal ?CLASS
(DayFn ?D
(MonthFn ?M
(YearFn ?FUTURE))))
(greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24194-24205 |
|
(=>
(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 8292-8301 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W WoodProduct)
(subclass ?S PlantStem))
(exists (?T)
(and
(subclass ?T BotanicalTree)
(initialPart ?S ?T)))) |
Economy.kif 5235-5244 |
|
(=>
(and
(paidRoomAmenity ?ROOM ?PROC)
(subclass ?PROC Process)
(instance ?R ?ROOM)
(stays ?GUEST ?R)
(element ?R
(PropertyFn ?HOTEL))
(patient ?P ?GUEST)
(or
(instance ?P ?PROC)
(and
(instance ?S ?PROC)
(subProcess ?P ?S)))
(located ?P ?R))
(exists (?PRICE ?U)
(and
(price ?P
(MeasureFn ?PRICE ?U) ?GUEST)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 |
|
(=>
(and
(capability ?PC ?ROLE ?MV)
(subclass ?PC Shooting))
(exists (?WEAPON)
(and
(instance ?WEAPON Weapon)
(part ?WEAPON ?MV)
(capability ?PC ?ROLE ?WEAPON)))) |
MilitaryDevices.kif 48-56 |
|
(=>
(and
(naturalHazardTypeInArea ?AREA ?TYPE)
(subclass ?TYPE Object))
(exists (?ITEM)
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA)))) |
Geography.kif 2271-2278 |
|
(=>
(and
(birthdate ?A ?DAY)
(instance ?DAY
(DayFn ?D
(MonthFn ?M
(YearFn ?Y)))))
(exists (?CLASS ?FUTURE)
(and
(birthday ?A ?CLASS)
(subclass ?CLASS Day)
(instance ?FUTURE Integer)
(equal ?CLASS
(DayFn ?D
(MonthFn ?M
(YearFn ?FUTURE))))
(greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24235-24245 |
|
(=>
(instance ?CO CounterReconnaissance)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS ReconnaissanceOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2193-2203 |
|
(=>
(instance ?INDUSTRY Industry)
(exists (?MEMB1 ?MEMB2 ?CLASS)
(and
(member ?MEMB1 ?INDUSTRY)
(member ?MEMB2 ?INDUSTRY)
(subclass ?CLASS Corporation)
(immediateInstance ?MEMB1 ?CLASS)
(immediateInstance ?MEMB2 ?CLASS)))) |
Mid-level-ontology.kif 15015-15023 |
|
(=>
(instance ?M Meat)
(exists (?DA ?AC)
(and
(instance ?DA
(DeadFn ?AC))
(part ?M ?DA)
(subclass ?AC Animal)))) |
Food.kif 1909-1915 |
|
(=>
(instance ?X FoodFromPlant)
(exists (?P ?CLASS)
(and
(instance ?P
(DeadFn ?CLASS))
(part ?X ?P)
(subclass ?CLASS Plant)))) |
Food.kif 299-306 |
|
(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(greaterThan
(MeasureFn ?QUANTITY ?UNIT2)
(MeasureFn ?Q ?UNIT1)))) Unlikely)) |
Mid-level-ontology.kif 13546-13557 |
|
(=>
(instance ?I ResistorElement)
(exists (?S)
(and
(subclass ?S InsulatorSubstance)
(material ?S ?I)))) |
engineering.kif 855-860 |
|
(=>
(and
(roomAmenity ?ROOM ?SVC)
(subclass ?SVC Process))
(modalAttribute
(exists (?X ?S ?HOTEL ?PROC)
(and
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?HOTEL))
(agent ?S ?HOTEL)
(or
(instance ?S ?SVC)
(and
(instance ?PROC ?SVC)
(subProcess ?S ?PROC)))
(located ?S ?X))) Possibility)) |
Hotel.kif 317-332 |
|
(=>
(and
(instance ?H Harvesting)
(result ?H ?O))
(exists (?ORG)
(and
(instance ?O
(DeadFn ?ORG))
(subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 18083-18091 |
|
(=>
(and
(attribute ?X DutyFree)
(instance ?X Store))
(exists (?AREA ?OBJ ?O ?SELL)
(and
(instance ?AREA GeopoliticalArea)
(located ?X ?AREA)
(subclass ?O Object)
(importCommodityType ?AREA ?O)
(instance ?OBJ ?O)
(instance ?SELL Selling)
(patient ?SELL ?OBJ)
(located ?SELL ?X)))) |
Hotel.kif 1478-1491 |
|
(=>
(attribute ?H NewsReporter)
(hasPurpose ?H
(exists (?EV ?T ?NEWS)
(and
(instance ?EV Process)
(overlapsTemporally
(WhenFn ?EV)
(WhenFn ?H))
(instance ?T ?NEWS)
(or
(subclass ?NEWS Newspaper)
(subclass ?NEWS NewsProgram))
(authors ?H ?NEWS)
(refers ?T ?EV))))) |
Mid-level-ontology.kif 21065-21079 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?PROP ?CATALOG)
(subclass ?PROP Proposition))
(modalAttribute
(exists (?P ?S ?X)
(and
(instance ?P ?PROP)
(realization ?X ?P)
(instance ?S Selling)
(patient ?S ?X)
(agent ?S ?AGENT))) Possibility)) |
Catalog.kif 64-76 |
|
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?OBJ ?CATALOG)
(subclass ?OBJ Physical))
(modalAttribute
(exists (?S ?X)
(and
(instance ?X ?OBJ)
(instance ?S Selling)
(agent ?S ?AGENT)
(patient ?S ?X))) Possibility)) |
Catalog.kif 51-62 |
|
(=>
(instance ?COIN CurrencyCoin)
(exists (?METAL)
(and
(subclass ?METAL Metal)
(material ?METAL ?COIN)))) |
Mid-level-ontology.kif 3600-3605 |
|
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Process))
(modalAttribute
(exists (?S ?LOC ?PROC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(agent ?S ?AGENT)
(patient ?S ?CUST)
(or
(instance ?S ?PHYS)
(and
(instance ?PROC ?PHYS)
(subProcess ?S ?PROC)))
(located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
|
(=>
(and
(instance ?CS1 ?CLASS)
(subclass ?CLASS CompoundSubstance)
(not
(exists (?CS2)
(and
(instance ?CS2 ?CLASS)
(part ?CS2 ?CS1))))
(molecularRatio ?ECLASS ?N ?CLASS)
(instance ?G Group)
(member ?E ?G)
(part ?E ?CS1)
(instance ?E ?ECLASS))
(memberCount ?G ?N)) |
Cars.kif 1778-1792 |
|
(=>
(immediateSubclass ?CLASS1 ?CLASS2)
(not
(exists (?CLASS3)
(and
(subclass ?CLASS3 ?CLASS2)
(subclass ?CLASS1 ?CLASS3)
(not
(equal ?CLASS2 ?CLASS3))
(not
(equal ?CLASS1 ?CLASS3)))))) |
Merge.kif 160-167 |
|
(=>
(and
(instance ?S ?C)
(subclass ?C Seafood))
(exists (?X ?SEA ?ANIMAL)
(and
(meatOfAnimal ?C ?ANIMAL)
(instance ?X ?ANIMAL)
(instance ?SEA BodyOfWater)
(inhabits ?X ?SEA)))) |
Food.kif 1928-1937 |
|
(=>
(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 |
|
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?AGENT)
(instance ?S Set)
(patient ?DECIDE ?S)
(element ?M ?S))
(believes ?AGENT
(exists (?CLASS)
(and
(instance ?M ?CLASS)
(subclass ?CLASS IntentionalProcess)
(capability ?CLASS agent ?AGENT))))) |
Merge.kif 12036-12048 |
|
(=>
(and
(instance ?F Felling)
(result ?F ?S))
(exists (?STEM)
(and
(instance ?S
(DeadFn ?STEM))
(subclass ?STEM PlantStem)))) |
Economy.kif 5485-5493 |
|
(=>
(and
(instance ?P Plant)
(part ?TIS ?P))
(exists (?K ?W ?CLASS)
(and
(instance ?K ?CLASS)
(subclass ?CLASS Keeping)
(instance ?W FreshWater)
(patient ?K ?W)
(capability ?CLASS instrument ?TIS)
(or
(instance ?TIS PlantLeaf)
(instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9560-9573 |
|