(=>
(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 300-311 |
|
(=>
(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 18173-18183 |
|
(=>
(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 17294-17307 |
|
(=>
(and
(instance ?Directory ComputerDirectory)
(instance ?File ComputerFile)
(directoryOf ?File ?Directory))
(refers
(AddressFn ?File) ?Directory)) |
QoSontology.kif 232-237 |
|
(=>
(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 8339-8352 |
|
(=>
(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 532-546 |
|
(=>
(and
(instance ?W SickLeave)
(agent ?W ?PERSON))
(exists (?S)
(and
(instance ?S DiseaseOrSyndrome)
(refers ?W ?S)))) |
Mid-level-ontology.kif 22093-22100 |
|
(=>
(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 22781-22811 |
- 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 31681-31711 |
- 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 24380-24384 |
|
(=>
(and
(prosecutor ?P ?A)
(defendant ?P ?D))
(desires ?A
(exists (?L)
(and
(instance ?L LegalDecision)
(refers ?L ?P)
(not
(wants ?D ?L)))))) |
Law.kif 324-334 |
|
(=>
(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 536-545 |
|
(=>
(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 22723-22735 |
|
(=>
(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 22700-22714 |
|
(=>
(attribute ?X Historical)
(refers History ?X)) |
Mid-level-ontology.kif 28248-28250 |
|
(=>
(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 10665-10677 |
|
(=>
(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 10643-10655 |
|
(=>
(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 553-563 |
|
(=>
(componentDataID ?Time ?Component ?Instance ?Unit ?Number)
(refers ?Number ?Instance)) |
QoSontology.kif 1024-1026 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
