(=>
(and
(attribute ?A AppraisalAsJustTreatment)
(instance ?AJT AppraisalProcess)
(agent ?AJT ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AJT ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(wants ?A ?P)))) |
emotion.kif 374-387 |
|
(=>
(and
(attribute ?A AppraisalAsUnjustTreatment)
(instance ?AUJ AppraisalProcess)
(agent ?AUJ ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AUJ ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(not
(wants ?A ?P))))) |
emotion.kif 349-363 |
|
(=>
(and
(customer ?CUST ?AGENT)
(corkageFee ?AMT ?ITEM ?AGENT)
(instance ?X ?ITEM)
(not
(exists (?B)
(and
(instance ?B Buying)
(patient ?B ?X)
(destination ?B ?CUST)
(origin ?B ?AGENT))))
(instance ?D Drinking)
(agent ?D ?CUST)
(resource ?D ?X))
(exists (?C)
(and
(instance ?C Corkage)
(agent ?C ?CUST)
(refers ?C ?X)
(destination ?C ?AGENT)))) |
Dining.kif 130-150 |
|
(=>
(and
(defenseLawyer ?P ?A)
(defendant ?P ?D))
(desires ?A
(not
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L))))))) |
Law.kif 295-306 |
|
(=>
(and
(instance ?AS ArtSchool)
(instance ?P EducationalProcess)
(eventLocated ?P ?AS))
(exists (?M ?ART)
(and
(instance ?M Making)
(patient ?M ?ART)
(instance ?ART ArtWork)
(refers ?P ?M)))) |
Mid-level-ontology.kif 16793-16803 |
|
(=>
(and
(instance ?COMMENTING Commenting)
(instance ?PROCESS Process)
(patient ?COMMENTING ?PROCESS))
(exists (?AGENT ?SPEAKING ?LOOKING)
(and
(instance ?AGENT AutonomousAgent)
(instance ?SPEAKING Speaking)
(instance ?LOOKING Looking)
(agent ?SPEAKING ?AGENT)
(agent ?LOOKING ?AGENT)
(patient ?LOOKING ?PROCESS)
(refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 15914-15927 |
|
(=>
(and
(instance ?Directory ComputerDirectory)
(instance ?File ComputerFile)
(directoryOf ?File ?Directory))
(refers
(AddressFn ?File) ?Directory)) |
QoSontology.kif 231-236 |
|
(=>
(and
(instance ?FACILITY NuclearWeaponResearchFacility)
(instance ?RESEARCH ResearchingWeaponOfMassDestruction)
(eventLocated ?RESEARCH ?FACILITY))
(refers ?RESEARCH NuclearWeapon)) |
WMD.kif 666-671 |
|
(=>
(and
(instance ?I HealthInsuranceCompany)
(customer ?I ?C))
(hasPurposeForAgent ?I
(exists (?D ?P)
(and
(or
(instance ?D DiagnosticProcess)
(instance ?D TherapeuticProcess))
(experiencer ?D ?C)
(instance ?P Payment)
(agent ?P ?I)
(refers ?P ?D))) ?C)) |
Mid-level-ontology.kif 7186-7199 |
|
(=>
(and
(instance ?P Human)
(attribute ?P Criminal))
(exists (?CA ?LC)
(and
(instance ?CA CriminalAction)
(instance ?LC LegalConviction)
(refers ?LC ?CA)
(patient ?LC ?P)))) |
Justice.kif 87-96 |
|
(=>
(and
(instance ?PAGE ViewItemPage)
(instance ?ADVERTISING WebListing)
(component ?ADVERTISING ?PAGE)
(patient ?ADVERTISING ?ITEM)
(instance ?ITEM Physical))
(exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(and
(instance ?STATING Stating)
(patient ?STATING ?DESCRIPTION)
(refers ?DESCRIPTION ?ITEM)
(result ?DESCRIPTION ?DESCRIPTIONCONTENT)
(part ?DESCRIPTIONCONTENT ?PAGE)))) |
UXExperimentalTerms.kif 2078-2091 |
|
(=>
(and
(instance ?PROC IntentionalProcess)
(result ?PROC ?DOC)
(recordForAgreement ?DOC ?AG)
(attribute ?AG Legal))
(exists (?O ?A ?A1 ?A2)
(and
(instance ?O Offering)
(instance ?A ReachingAgreement)
(refers ?O ?AG)
(refers ?A ?AG)
(agent ?O ?A1)
(agent ?A ?A2)
(earlier
(WhenFn ?O)
(WhenFn ?A))))) |
Law.kif 526-540 |
|
(=>
(and
(instance ?W SickLeave)
(agent ?W ?PERSON))
(exists (?S)
(and
(instance ?S DiseaseOrSyndrome)
(refers ?W ?S)))) |
Mid-level-ontology.kif 20486-20493 |
|
(=>
(and
(instance ?X Argument)
(instance ?R Reasoning)
(instance ?A Archeology)
(subProposition ?X ?A)
(realization ?R ?X))
(exists (?D ?S ?O ?T ?W ?L)
(and
(instance ?D Discovering)
(instance ?O Object)
(patient ?D ?O)
(refers ?R ?D)
(earlier
(WhenFn ?D)
(WhenFn ?R))
(age ?O
(MeasureFn ?T YearDuration))
(greaterThan ?T 50)
(holdsDuring
(ImmediatePastFn
(WhenFn ?D))
(or
(and
(surface ?S ?W)
(instance ?W BodyOfWater)
(orientation ?O ?S Below))
(and
(surface ?S ?L)
(instance ?L LandArea)
(orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 21174-21204 |
- If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition,
- then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
|
(=>
(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 30054-30084 |
- 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
(inventory ?O ?C)
(member ?I ?C))
(refers ?O ?I)) |
Mid-level-ontology.kif 22772-22776 |
|
(=>
(and
(prosecutor ?P ?A)
(defendant ?P ?D))
(desires ?A
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L)))))) |
Law.kif 318-328 |
|
(=>
(attribute ?COACH Coach)
(exists (?ATHLETE ?GAME ?EDUCATION)
(and
(instance ?ATHLETE Human)
(instance ?GAME Game)
(instance ?EDUCATION EducationalProcess)
(agent ?EDUCATION ?COACH)
(patient ?EDUCATION ?ATHLETE)
(refers ?EDUCATION ?GAME)))) |
Sports.kif 524-533 |
|
(=>
(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 21116-21128 |
|
(=>
(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 21093-21107 |
|
(=>
(attribute ?X Historical)
(refers History ?X)) |
Mid-level-ontology.kif 26623-26625 |
|
(=>
(attribute ?X USNonPrescriptionDrug)
(modalAttribute
(exists (?B)
(and
(instance ?B Buying)
(objectTransferred ?B ?X)
(not
(exists (?P)
(and
(instance ?P Prescription)
(refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 9345-9357 |
|
(=>
(attribute ?X USPrescriptionDrug)
(modalAttribute
(exists (?B)
(and
(instance ?B Buying)
(objectTransferred ?B ?X)
(not
(exists (?P)
(and
(instance ?P Prescription)
(refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 9323-9335 |
|
(=>
(coaches ?COACH ?PLAYER)
(and
(attribute ?COACH Coach)
(exists (?GAME ?EDUCATION)
(and
(instance ?GAME Game)
(instance ?EDUCATION EducationalProcess)
(agent ?EDUCATION ?COACH)
(patient ?EDUCATION ?PLAYER)
(refers ?EDUCATION ?GAME))))) |
Sports.kif 541-551 |
|
(=>
(componentDataID ?Time ?Component ?Instance ?Unit ?Number)
(refers ?Number ?Instance)) |
QoSontology.kif 915-917 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |