(=>
(and
(equal ?P
(OrganicObjectFn ?ORG))
(subclass ?P Object))
(or
(subclass ?ORG Organism)
(subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 |
|
(=>
(and
(equal ?S
(OrganicObjectFn ?F))
(subclass ?S Suet)
(subclass ?F FatTissue))
(or
(initialPart ?F Cattle)
(initialPart ?F Sheep))) |
Food.kif 2906-2914 |
|
(=>
(and
(equal ?W
(OrganicObjectFn ?S))
(subclass ?W CherryWood)
(subclass ?S PlantStem))
(or
(initialPart ?S BlackCherryTree)
(initialPart ?S SweetCherryTree))) |
Economy.kif 5326-5333 |
|
(=>
(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
(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
(hasGUEState ?WIN1 GUE_UncoveredState)
(hasGUEState ?WIN1 GUE_MaximizedWindowState)
(screenOfGUIE ?WIN1 ?SCREEN)
(instance ?WIN2 InterfaceWindow)
(screenOfGUIE ?WIN2 ?SCREEN)
(not
(equal ?WIN1 ?WIN2)))
(or
(hasGUEState ?WIN2 GUE_CoveredState)
(hasGUEState ?WIN2 GUE_PartiallyCoveredState)
(hasGUEState ?WIN2 GUE_OffscreenState))) |
ComputerInput.kif 2120-2131 |
|
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2))) |
Merge.kif 9903-9909 |
|
(=>
(and
(inList ?ITEM ?RESULTS)
(instance ?RESULTS SRPResults))
(or
(instance ?ITEM WebListing)
(instance ?ITEM WebPage))) |
UXExperimentalTerms.kif 2483-2489 |
|
(=>
(and
(instance ?A Anesthetizing)
(patient ?A ?P))
(holdsDuring
(WhenFn ?A)
(or
(attribute ?P Unconscious)
(not
(attribute ?P Pain))))) |
Medicine.kif 949-958 |
|
(=>
(and
(instance ?A Animal)
(instance ?S AnimalShell)
(part ?S ?A))
(or
(instance ?A Invertebrate)
(instance ?A Reptile))) |
Mid-level-ontology.kif 11531-11538 |
|
(=>
(and
(instance ?ACCELERATE Accelerating)
(agent ?ACCELERATE ?AGENT))
(exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH1 ?U1)
(MeasureFn ?TIME1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn
(MeasureFn ?LENGTH2 ?U1)
(MeasureFn ?TIME2 ?U2))))
(or
(greaterThan ?LENGTH2 ?LENGTH1)
(greaterThan ?TIME2 ?TIME1))))) |
Mid-level-ontology.kif 17143-17164 |
- If a process is an instance of accelerating and an agent is an agent of the process,
- then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
|
(=>
(and
(instance ?ACT Ingesting)
(resource ?ACT ?F))
(or
(instance ?F
(FoodForFn Organism))
(instance ?F Medicine))) |
Merge.kif 10252-10258 |
|
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG))))) |
Merge.kif 10540-10549 |
|
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10562-10571 |
|
(=>
(and
(instance ?AGENT AutonomousAgent)
(subclass
(ElectionFn ?AGENT) Election))
(or
(instance ?AGENT Organization)
(instance ?AGENT GeopoliticalArea))) |
Government.kif 1692-1698 |
|
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT LongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 2438)
(lessThanOrEqualTo ?LENGTH 3047))))) |
Transportation.kif 1445-1457 |
|
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT MediumLengthRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 1524)
(lessThanOrEqualTo ?LENGTH 2437))))) |
Transportation.kif 1426-1438 |
|
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT ShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 914)
(lessThanOrEqualTo ?LENGTH 1523))))) |
Transportation.kif 1407-1419 |
|
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists (?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12656-12669 |
|
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists (?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))))))) |
Merge.kif 12616-12629 |
|
(=>
(and
(instance ?ATTR MusicGenre)
(attribute ?A ?ATTR))
(or
(instance ?A MakingMusic)
(instance ?A MusicRecording))) |
Music.kif 511-517 |
|
(=>
(and
(instance ?Account CheckingAccount)
(instance ?Transaction FinancialTransaction)
(origin ?Transaction
(CurrencyFn ?Account)))
(or
(exists (?Check)
(and
(instance ?Check Check)
(instrument ?Transaction ?Check)))
(exists (?DebitCard)
(and
(instance ?DebitCard DebitCard)
(instrument ?Transaction ?DebitCard))))) |
FinancialOntology.kif 1129-1142 |
|
(=>
(and
(instance ?B Bleeding)
(experiencer ?B ?H))
(exists (?VA ?D)
(and
(or
(instance ?VA Vein)
(instance ?VA Artery))
(part ?VA ?H)
(instance ?D Damaging)
(earlier
(WhenFn ?D)
(WhenFn ?B))
(patient ?D ?VA)))) |
Medicine.kif 80-94 |
|
(=>
(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 11754-11769 |
|
(=>
(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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |