(=>
(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 |
- 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 30054-30084 |
- 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 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 |