(=>
(and
(instance ?CC ComputerCable)
(not
(instance ?C Cable))
(part ?C ?CC))
(or
(instance ?C MaleConnector)
(instance ?C FemaleConnector))) |
ComputingBrands.kif 2746-2754 |
|
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists (?PROPERTY)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY)))))) |
Merge.kif 12621-12632 |
|
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists (?PROPERTY ?PART)
(and
(part ?PART ?OBJ)
(instance ?PROPERTY ColorAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?COLORING))
(attribute ?PART ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?COLORING))
(not
(attribute ?PART ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?COLORING))
(not
(attribute ?PART ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?COLORING))
(attribute ?PART ?PROPERTY))))))) |
Merge.kif 12658-12672 |
|
(=>
(and
(instance ?CONDUCT MusicalConducting)
(patient ?CONDUCT ?PATIENT)
(instance ?M Musician))
(or
(instance ?PATIENT MusicalGroup)
(holdsDuring
(WhenFn ?CONDUCT)
(attribute ?PATIENT ?M)))) |
Mid-level-ontology.kif 18505-18514 |
|
(=>
(and
(instance ?COVERING CoveringGUIElement)
(agent ?COVERING ?GUIE_TOP)
(patient ?COVERING ?GUIE_BOTTOM)
(instance ?GUIE_TOP GUIElement)
(instance ?GUIE_BOTTOM GUIElement))
(holdsDuring
(EndFn ?COVERING)
(or
(guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
(guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))) |
ComputerInput.kif 2597-2607 |
|
(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L1 ?U1)
(MeasureFn ?T1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L2 ?U1)
(MeasureFn ?T2 ?U2))))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 17170-17190 |
- If a process is an instance of decelerating 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 real number is greater than the other real number or the third real number is greater than the fourth real number
|
(=>
(and
(instance ?D Demonstration)
(agent ?D ?A))
(or
(instance ?A Human)
(instance ?A GroupOfPeople))) |
MilitaryProcesses.kif 2663-2669 |
|
(=>
(and
(instance ?D Dodging)
(agent ?D ?A)
(equal ?DT
(WhenFn ?D)))
(hasPurpose ?D
(not
(exists (?I)
(and
(or
(meetsTemporally ?DT
(WhenFn ?I))
(overlapsTemporally ?DT
(WhenFn ?I)))
(instance ?I Impacting)
(patient ?I ?A)))))) |
Mid-level-ontology.kif 450-463 |
|
(=>
(and
(instance ?D EasterSunday)
(temporalPart ?D ?M)
(instance ?M Month))
(or
(instance ?M March)
(instance ?M April)
(instance ?M May))) |
Media.kif 498-506 |
|
(=>
(and
(instance ?E Epidemic)
(involvedInEvent ?E ?H))
(or
(and
(instance ?D DiseaseOrSyndrome)
(attribute ?H ?D))
(exists (?P)
(and
(instance ?P PathologicProcess)
(experiencer ?P ?H)
(subProcess ?P ?E))))) |
Medicine.kif 3517-3529 |
|
(=>
(and
(instance ?ELT ExperiencingHeatInCheeksOrChest)
(experiencer ?ELT ?A))
(exists (?P ?T)
(and
(instance ?P Perception)
(subProcess ?P ?ELT)
(agent ?P ?A)
(patient ?P ?T)
(or
(instance ?T Torso)
(instance ?T Face))
(part ?T ?A)))) |
emotion.kif 1738-1751 |
|
(=>
(and
(instance ?EP EntertainmentProfession)
(attribute ?P ?EP))
(or
(occupation ?P
(OccupationFn Performance))
(occupation ?P
(OccupationFn ContentDevelopment)))) |
Mid-level-ontology.kif 18920-18926 |
|
(=>
(and
(instance ?EV Evacuation)
(agent ?EV ?A)
(experiencer ?EV ?P))
(exists (?C ?CA)
(and
(instance ?C Classifying)
(subProcess ?C ?EV)
(experiencer ?C ?P)
(or
(subOrganization ?CA ?A)
(member ?CA ?A)
(equal ?CA ?A))
(agent ?C ?CA)))) |
MilitaryProcesses.kif 2609-2623 |
|
(=>
(and
(instance ?EV Evacuation)
(agent ?EV ?A)
(origin ?EV ?O))
(exists (?T ?TA)
(and
(instance ?T Translocation)
(subProcess ?T ?EV)
(origin ?T ?O)
(or
(experiencer ?T ?TA)
(agent ?T ?TA))
(or
(subOrganization ?TA ?A)
(member ?TA ?A)
(equal ?TA ?A))))) |
MilitaryProcesses.kif 2627-2643 |
|
(=>
(and
(instance ?EV Evacuation)
(experiencer ?EV ?P)
(agent ?EV ?A))
(exists (?M ?MA)
(and
(instance ?M TherapeuticProcess)
(subProcess ?M ?EV)
(or
(subOrganization ?MA ?A)
(member ?MA ?A)
(equal ?MA ?A))
(agent ?M ?MA)
(experiencer ?M ?P)))) |
MilitaryProcesses.kif 2591-2605 |
|
(=>
(and
(instance ?EV Evacuation)
(origin ?EV ?O)
(agent ?EV ?A))
(exists (?M ?MA)
(and
(instance ?M Maintaining)
(eventLocated ?M ?O)
(subProcess ?M ?EV)
(or
(subOrganization ?MA ?A)
(member ?MA ?A)
(equal ?MA ?A))
(agent ?M ?MA)))) |
MilitaryProcesses.kif 2573-2587 |
|
(=>
(and
(instance ?EV Evacuation)
(origin ?EV ?O)
(agent ?EV ?A))
(exists (?T ?TA)
(and
(instance ?T Transportation)
(destination ?T ?O)
(or
(subOrganization ?TA ?A)
(member ?TA ?A)
(equal ?TA ?A))
(or
(agent ?T ?TA)
(patient ?T ?TA))))) |
MilitaryProcesses.kif 2554-2569 |
|
(=>
(and
(instance ?EXPERIMENT Experimenting)
(instance ?SUBJECT Human)
(experimentalSubject ?EXPERIMENT ?SUBJECT))
(exists (?PROCESS)
(and
(instance ?PROCESS Process)
(experiencer ?PROCESS ?SUBJECT)
(or
(experimentalControlProcess ?EXPERIMENT ?PROCESS)
(experimentalVariableProcess ?EXPERIMENT ?PROCESS))))) |
UXExperimentalTerms.kif 3923-3934 |
|
(=>
(and
(instance ?EXPRESS ExpressingApproval)
(agent ?EXPRESS ?AGENT)
(patient ?EXPRESS ?THING))
(or
(wants ?AGENT ?THING)
(desires ?AGENT ?THING))) |
Mid-level-ontology.kif 12949-12956 |
|
(=>
(and
(instance ?EXPRESS ExpressingDisapproval)
(agent ?EXPRESS ?AGENT)
(patient ?EXPRESS ?THING))
(or
(dislikes ?AGENT ?THING)
(disapproves ?AGENT ?THING))) |
Mid-level-ontology.kif 12962-12969 |
|
(=>
(and
(instance ?FID ForeignInternalDefense)
(agent ?FID ?MIL)
(experiencer ?FID ?HN))
(hasPurpose ?FID
(exists (?ORG ?LEARNING)
(and
(instance ?LEARNING Learning)
(experiencer ?LEARNING ?ORG)
(agent ?LEARNING ?MIL)
(or
(militaryOfArea ?ORG ?HN)
(and
(instance ?ORG MilitaryForce)
(located ?ORG ?HN))))))) |
MilitaryProcesses.kif 1960-1975 |
|
(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2647-2654 |
|
(=>
(and
(instance ?GRAPH Graph)
(instance ?NODE1 GraphNode)
(instance ?NODE2 GraphNode)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(not
(equal ?NODE1 ?NODE2)))
(exists (?ARC ?PATH)
(or
(links ?NODE1 ?NODE2 ?ARC)
(and
(subGraph ?PATH ?GRAPH)
(instance ?PATH GraphPath)
(or
(and
(equal
(BeginNodeFn ?PATH) ?NODE1)
(equal
(EndNodeFn ?PATH) ?NODE2))
(and
(equal
(BeginNodeFn ?PATH) ?NODE2)
(equal
(EndNodeFn ?PATH) ?NODE1))))))) |
Merge.kif 5630-5650 |
|
(=>
(and
(instance ?GUIE1 GUIElement)
(instance ?GUIE2 GUIElement)
(not
(instance ?GUIE1 InterfaceWindow))
(not
(instance ?GUIE2 InterfaceWindow))
(screenOfGUIE ?GUIE1 ?SCREEN)
(screenOfGUIE ?GUIE2 ?SCREEN)
(hasGUEState ?GUIE1 GUE_ActiveState)
(hasGUEState ?GUIE2 GUE_ActiveState))
(or
(properPart ?GUIE1 ?GUIE2)
(properPart ?GUIE2 ?GUIE1)
(equal ?GUIE1 ?GUIE2))) |
ComputerInput.kif 1935-1948 |
|
(=>
(and
(instance ?H Hanukkah)
(equal ?B
(BeginFn ?H)))
(exists (?M)
(and
(temporalPart ?B ?M)
(instance ?M Month)
(or
(instance ?M November)
(instance ?M December))))) |
Media.kif 587-597 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |