(=>
(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 16766-16776 |
|
(=>
(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 15887-15900 |
|
(=>
(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 7159-7172 |
|
(=>
(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 20459-20466 |
|
(=>
(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 21147-21177 |
- Wenn Proposition ist ein fall von Argument %n{nicht} und Process ist ein fall von Reasoning %n{nicht} und ** Proposition ist ein fall von Archeology %n{nicht} und ** Proposition ist eine teilangelegenheit von ** ** Proposition %n{nicht} und ** Process druekt den Inhalt von ** Proposition aus,
- dann es gibt ** Process, entity,, , Physical,, , RealNumber,, , ** entity, and und ** entity um ** ** Process ist ein fall von Discovering %n{nicht} und ** Physical ist ein fall von Object %n{nicht} und ** Physical ist ein patient von ** ** Process %n{nicht} und ** Process umfasst einen hinweis auf ** ** Process und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht} und das alter von ** Physical ist ** RealNumber YearDuration(s) %n{nicht} und ** RealNumber ist groesserAls 50 %n{nicht} und ** entity ist eine flaeche von ** ** entity %n{nicht} und ** ** entity ist ein fall von BodyOfWater %n{nicht} und ** Physical ist Below hinsichlich ** entity %n{nicht} oder ** entity ist eine flaeche von ** ** entity %n{nicht} und ** ** entity ist ein fall von LandArea %n{nicht} und ** Physical ist Below hinsichlich ** entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** ** Process %n{nicht}
|
(=>
(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 30030-30060 |
- Wenn Process ist ein fall von BreakingRecord %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt Set, Class,, , ** Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um ** Set ist ein fall von Set %n{nicht} und ** AutonomousAgent ist ein element von ** Set %n{nicht} und ** Class ist eine teilkategorie von Process und ** Object ist ein fall von Region %n{nicht} und ** TimePoint ist ein fall von TimePoint %n{nicht} und ** Entity ist ein fall von Quantity %n{nicht} und ** ** Process ist ein fall von ** Class %n{nicht} und ** Process umfasst einen hinweis auf ** Entity und ** Entity umfasst einen hinweis auf ** ** Process und playsRoleInEvent ** AutonomousAgent, ** CaseRole and ** ** Process und eventLocated ** ** Process and ** Object und es gibt nicht ** Entity und ** Entity um ** ** Entity ist ein fall von ** Set %n{nicht} und ** ** Entity ist gleich ** AutonomousAgent nicht und ** ** Entity ist ein fall von ** Class %n{nicht} und playsRoleInEvent ** ** Entity, ** CaseRole and ** ** Entity und eventLocated ** ** Entity and ** Object haelt waehrend abstand zwischen ** TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
|
(=>
(and
(inventory ?O ?C)
(member ?I ?C))
(refers ?O ?I)) |
Mid-level-ontology.kif 22720-22724 |
|
(=>
(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 21089-21101 |
|
(=>
(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 21066-21080 |
|
(=>
(attribute ?X Historical)
(refers History ?X)) |
Mid-level-ontology.kif 26590-26592 |
|
(=>
(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 9318-9330 |
|
(=>
(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 9296-9308 |
|
(=>
(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 |