(<=>
(and
(instance ?COPY Photocopying)
(patient ?COPY ?OBJ1)
(instance ?OBJ1 VisualContentBearingObject)
(containsInformation ?OBJ1 ?INFO1))
(exists (?OBJ2 ?INFO2)
(and
(result ?COPY ?OBJ2)
(instance ?OBJ2 VisualContentBearingObject)
(containsInformation ?OBJ2 ?INFO2)
(equal ?INFO1 ?INFO2)))) |
Mid-level-ontology.kif 26329-26340 |
Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht} und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition %n{nicht} |
(=>
(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
(and
(exists (?CLAUSE)
(containsInformation ?CLAUSE ?PROP))
(partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 14072-14077 |
|
(=>
(and
(instance ?AREA GeopoliticalArea)
(suffrageAgeMaximum ?AREA ?AGE))
(exists (?AGERULE)
(and
(instance ?AGERULE VoterAgeRequirement)
(subProposition ?AGERULE
(RegionalLawFn ?AREA))
(containsInformation
(suffrageAgeMaximum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 1029-1038 |
|
(=>
(and
(instance ?AREA GeopoliticalArea)
(suffrageAgeMinimum ?AREA ?AGE))
(exists (?AGERULE)
(and
(instance ?AGERULE VoterAgeRequirement)
(subProposition ?AGERULE
(RegionalLawFn ?AREA))
(containsInformation
(suffrageAgeMinimum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 957-966 |
|
(=>
(and
(instance ?ARGUMENT ValidDeductiveArgument)
(equal ?PREMISES
(PremisesFn ?ARGUMENT))
(conclusion ?CONCLUSION ?ARGUMENT))
(exists (?FORMULA1 ?FORMULA2)
(and
(containsInformation ?FORMULA1 ?PREMISES)
(containsInformation ?FORMULA2 ?CONCLUSION)
(entails ?PREMISES ?CONCLUSION)))) |
Merge.kif 16842-16851 |
|
(=>
(and
(instance ?C Confirming)
(agent ?C ?A)
(containsInformation ?C ?P))
(exists (?S ?RA ?A2)
(and
(instance ?S Stating)
(earlier ?S ?C)
(instance ?RA ReachingAgreement)
(agent ?S ?A2)
(containsInformation ?RA ?P)
(containsInformation ?S ?P)
(partyToAgreement ?RA ?A)
(partyToAgreement ?RA ?A2)))) |
Mid-level-ontology.kif 29639-29653 |
|
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists (?ENCODE ?DOC2 ?TIME ?PROP)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(temporalPart ?TIME
(PastFn
(WhenFn ?DECODE)))
(holdsDuring ?TIME
(and
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2)))))) |
Merge.kif 12715-12728 |
|
(=>
(and
(instance ?EVENT Planning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject))
(exists (?PLAN)
(and
(instance ?PLAN Plan)
(containsInformation ?CBO ?PLAN)))) |
Merge.kif 10840-10848 |
|
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(exists (?PER ?PROP)
(and
(instance ?PER Perception)
(experiencer ?PER ?P)
(causes ?H ?PER)
(containsInformation ?PER ?PROP)
(truth ?PROP False)))) |
Mid-level-ontology.kif 6429-6439 |
|
(=>
(and
(instance ?INTERPRET Interpreting)
(agent ?INTERPRET ?AGENT)
(patient ?INTERPRET ?CONTENT)
(instance ?CONTENT ContentBearingObject))
(exists (?PROP)
(holdsDuring
(EndFn
(WhenFn ?INTERPRET))
(believes ?AGENT
(containsInformation ?CONTENT ?PROP))))) |
Merge.kif 10863-10870 |
|
(=>
(and
(instance ?P Decoding)
(agent ?P ?A))
(exists (?CODE)
(or
(knows ?A ?CODE)
(exists (?OBJ)
(and
(instrument ?P ?OBJ)
(containsInformation ?OBJ ?CODE)))))) |
QoSontology.kif 2181-2191 |
|
(=>
(and
(instance ?P Encoding)
(agent ?P ?A))
(exists (?CODE)
(or
(knows ?A ?CODE)
(exists (?OBJ)
(and
(instrument ?P ?OBJ)
(containsInformation ?OBJ ?CODE)))))) |
QoSontology.kif 2169-2179 |
|
(=>
(and
(instance ?PLAN Plan)
(instance ?PROC Process)
(represents ?PLAN ?PROC))
(exists (?PLANNING ?CBO)
(and
(instance ?PLANNING Planning)
(instance ?CBO ContentBearingPhysical)
(containsInformation ?CBO ?PLAN)
(result ?PLANNING ?CBO)
(earlier
(BeginFn
(WhenFn ?PLANNING))
(BeginFn
(WhenFn ?PROC)))
(earlier
(EndFn
(WhenFn ?PLANNING))
(EndFn
(WhenFn ?PROC)))))) |
Military.kif 32-44 |
|
(=>
(and
(instance ?POLICY ChildrenPolicy)
(policyOwner ?AGENT ?POLICY)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsInformation ?POLICY
(modalAttribute
(exists (?CUST1)
(and
(customer ?CUST1 ?AGENT)
(instance ?CUST1 HumanChild))) Possibility))
(containsInformation ?POLICY
(not
(modalAttribute
(exists (?CUST2)
(and
(customer ?CUST2 ?AGENT)
(instance ?CUST2 HumanChild))) Possibility))))) |
Hotel.kif 2535-2553 |
|
(=>
(and
(instance ?POLICY PetPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsInformation ?POLICY
(modalAttribute
(exists (?PET1)
(and
(instance ?PET1 DomesticAnimal)
(located ?PET1 ?LOC))) Permission))
(containsInformation ?POLICY
(modalAttribute
(exists (?PET2)
(and
(instance ?PET2 DomesticAnimal)
(located ?PET2 ?LOC))) Prohibition)))) |
Hotel.kif 2512-2528 |
|
(=>
(and
(instance ?POLICY SmokingPolicy)
(policyLocationCoverage ?POLICY ?LOC))
(or
(containsInformation ?POLICY
(modalAttribute
(exists (?SMOKE1)
(and
(instance ?SMOKE1 Smoking)
(located ?SMOKE1 ?LOC))) Permission))
(containsInformation ?POLICY
(modalAttribute
(exists (?SMOKE2)
(and
(instance ?SMOKE2 Smoking)
(located ?SMOKE2 ?LOC))) Prohibition)))) |
Hotel.kif 2489-2505 |
|
(=>
(and
(instance ?PROP Proposition)
(instance ?TEXT
(DocumentFn ?PROP)))
(exists (?DOC)
(containsInformation ?DOC ?TEXT))) |
Geography.kif 3018-3023 |
|
(=>
(and
(instance ?S LegalSummons)
(patient ?S ?O)
(destination ?S ?P))
(exists (?C ?T)
(and
(instance ?C CourtRoom)
(containsInformation ?O
(modalAttribute
(holdsDuring ?T
(located ?P ?C)) Law))))) |
Mid-level-ontology.kif 16227-16239 |
|
(=>
(and
(instance ?X Photocopier)
(instrument ?COPY ?X)
(instance ?COPY Photocopying)
(patient ?COPY ?OBJ1)
(instance ?OBJ1 TwoDimensionalObject)
(instance ?OBJ1 VisualContentBearingObject)
(containsInformation ?OBJ1 ?INFO))
(exists (?OBJ2 ?SHEET)
(and
(result ?COPY ?OBJ2)
(instance ?OBJ2 TwoDimensionalObject)
(instance ?OBJ2 VisualContentBearingObject)
(containsInformation ?OBJ2 ?INFO)
(located ?OBJ2 ?SHEET)
(instance ?SHEET PrintedSheet)))) |
Mid-level-ontology.kif 26299-26315 |
|
(=>
(and
(subsumesContentInstance ?OBJ1 ?OBJ2)
(containsInformation ?OBJ2 ?INFO))
(containsInformation ?OBJ1 ?INFO)) |
Merge.kif 4589-4593 |
|
(=>
(dateOfStatement ?Statement ?Date)
(exists (?Copy)
(and
(containsInformation ?Copy ?Statement)
(date ?Copy ?Date)))) |
FinancialOntology.kif 4031-4036 |
|
(=>
(finalExperimentReport ?CBP ?EXPERIMENT)
(exists (?RESULT)
(and
(result ?EXPERIMENT ?RESULT)
(containsInformation ?CBP ?RESULT)))) |
UXExperimentalTerms.kif 2702-2707 |
|
(=>
(instance ?ACTION CriminalAction)
(exists (?LAW ?CONTENT ?CRIME)
(and
(modalAttribute ?LAW Law)
(containsInformation ?LAW ?CONTENT)
(realization ?ACTION ?CRIME)
(not
(consistent ?CONTENT ?CRIME))))) |
Mid-level-ontology.kif 13862-13869 |
|
(=>
(instance ?ARGUE Arguing)
(exists (?STATEMENT ?ARGUMENT)
(and
(patient ?ARGUE ?STATEMENT)
(instance ?STATEMENT Statement)
(containsInformation ?STATEMENT ?ARGUMENT)
(instance ?ARGUMENT Argument)))) |
Mid-level-ontology.kif 909-916 |
|
(=>
(instance ?BEST_OFFER BestOffering)
(and
(containsInformation ?BEST_OFFER
(exists (?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(and
(instance ?BUYING Buying)
(agent ?BUYING ?AGENT)
(patient ?BUYING ?OBJECT)
(transactionAmount ?BUYING
(MeasureFn ?MONEY1 ?U)))))
(not
(exists (?OFFER2)
(containsInformation ?OFFER2
(exists (?BUYING2 ?AGENT2 ?MONEY2)
(and
(instance ?BUYING2 Buying)
(agent ?BUYING2 ?AGENT2)
(patient ?BUYING2 ?OBJECT)
(transactionAmount ?BUYING2
(MeasureFn ?MONEY2 ?U))
(greaterThan ?MONEY2 ?MONEY1)))))))) |
UXExperimentalTerms.kif 1654-1675 |
- Wenn entity_OFFER ist ein fall von BestOffering %n{nicht},
- dann ** entity_OFFER enthaelt Informationen ueber es gibt ** entity, ** entity,, , ** entity,, , ** entity, and und ** entity um ** ** entity ist ein fall von Buying %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und transactionAmount ** ** entity and ** ** entity ** ** entity(s) und es gibt nicht ContentBearingPhysical um ** ContentBearingPhysical enthaelt Informationen ueber es gibt ** ** entity2, ** ** entity2, and und ** entity um ** ** entity2 ist ein fall von Buying %n{nicht} und ** ** entity2 ist der agent von ** ** entity2 %n{nicht} und ** ** entity ist ein patient von ** ** entity2 %n{nicht} und transactionAmount ** ** entity2 and ** ** entity ** ** entity(s) und ** ** entity ist groesserAls ** ** entity %n{nicht}
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |