TreeView Knowledge Base Browser

appearance as argument number 1

(documentation patient ChineseLanguage "(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如：在'那只猫吞掉了那只金丝雀'和'比利喜欢这啤酒' 的直接受事体会是 patient 的例子。注：一个Process 的 patient 可能会也可能不会因为该 Process 而经历结构上的变化。用 patient 这个 CaseRole 是当我们想尽可能以最广泛的代表来要指出 Process 的受事体。")	chinese_format.kif 1882-1886
(documentation patient EnglishLanguage "(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process.")	Merge.kif 2499-2506
(documentation patient JapaneseLanguage "(patient ?PROCESS ?ENTITY) とは、?ENTITYは、移動、言った、経験豊富な、などが ?PROCESS に参加していることを意味する。　例：「猫はカナリアを飲み込んだ」と「ビリーはビールが好き」という文章の直接的なオブジェクトは、patient の例である。注：Process の patient は、Process の結果として構造変化を受ける場合とそうでない場合がある。 patient の CaseRole は、Process のオブジェクトを可能な限り広く指定する場合に使用される。")	japanese_format.kif 507-511
(domain patient 1 Process)	Merge.kif 2495-2495	Die Zahl 1 Argument von patient ist ein fall von Process %n{nicht}
(domain patient 2 Entity)	Merge.kif 2496-2496	Die Zahl 2 Argument von patient ist ein fall von Entity %n{nicht}
(instance patient CaseRole)	Merge.kif 2493-2493	patient ist ein fall von CaseRole %n{nicht}
(instance patient PartialValuedRelation)	Merge.kif 2494-2494	patient ist ein fall von PartialValuedRelation %n{nicht}
(subrelation patient involvedInEvent)	Merge.kif 2497-2497	patient ist eine teilrelation von involvedInEvent

appearance as argument number 2

(format ChineseLanguage patient "%2 %n 是 %1 的 patient")	chinese_format.kif 167-167
(format EnglishLanguage patient "%2 is %n a patient of %1")	english_format.kif 168-168
(format FrenchLanguage patient "%2 est %n un patient de %1")	french_format.kif 103-103
(format ItalianLanguage patient "%2 è %n un paziente di %1")	relations-it.txt 219-219
(format JapaneseLanguage patient "%2 は %1 の patient では %n")	japanese_format.kif 1932-1932
(format PortugueseLanguage patient "%2 e' %n um patient de %1")	portuguese_format.kif 55-55
(format cz patient "%2 %p{je} %n{nen�} ��astn�kem %1")	relations-cz.txt 85-85
(format de patient "%2 ist ein patient von %1 %n{nicht}")	relations-de.txt 206-206
(format hi patient "%2 %1 kaa karma %n hai")	relations-hindi.txt 257-257
(format ro patient "%2 %n{nu} este patient%t{pacient} pentru %1")	relations-ro.kif 122-122
(format sv patient "%2 är %n{inte} en patient till %1")	relations-sv.txt 104-104
(format tg patient "%2 %n ay sumasali ng %1")	relations-tg.txt 411-411
(subrelation accountUsed patient)	ComputingBrands.kif 4163-4163	accountUsed ist eine teilrelation von patient
(subrelation controlled patient)	Mid-level-ontology.kif 23742-23742	controlled ist eine teilrelation von patient
(subrelation dataProcessed patient)	QoSontology.kif 1980-1980	dataProcessed ist eine teilrelation von patient
(subrelation defendant patient)	Mid-level-ontology.kif 16515-16515	defendant ist eine teilrelation von patient
(subrelation defenseLawyer patient)	Law.kif 281-281	defenseLawyer ist eine teilrelation von patient
(subrelation detainee patient)	Mid-level-ontology.kif 7004-7004	detainee ist eine teilrelation von patient
(subrelation evidence patient)	Law.kif 168-168	evidence ist eine teilrelation von patient
(subrelation experimentalControl patient)	Mid-level-ontology.kif 15974-15974	experimentalControl ist eine teilrelation von patient
(subrelation instrument patient)	Merge.kif 2468-2468	instrument ist eine teilrelation von patient
(subrelation objectAttached patient)	Merge.kif 12437-12437	objectAttached ist eine teilrelation von patient
(subrelation objectDetached patient)	Merge.kif 12485-12485	objectDetached ist eine teilrelation von patient
(subrelation objectTransferred patient)	Merge.kif 11391-11391	objectTransferred ist eine teilrelation von patient

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (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 26625-26636	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}
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 21050-21057	Wenn actedIn Human and ContentBearingPhysical und Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Actor ist ein attribut von Human %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	Wenn Process ist der agent von AutonomousAgent %n{nicht} und Process beginnet an Object %n{nicht} und Physical ist ein patient von Process %n{nicht} und wert von Physical ist CurrencyMeasure, dann es gibt FinancialTransaction um FinancialTransaction ist ein subProzess von Process und FinancialTransaction ist ein fall von Payment %n{nicht} und transactionAmount FinancialTransaction and CurrencyMeasure und FinancialTransaction beginnet an AutonomousAgent %n{nicht} und FinancialTransaction endet an Object %n{nicht}
(=> (and (attribute ?H ?D) (diseaseTreatment ?D ?P) (instance ?TP TherpeuticProcess) (agent ?TP ?DOC) (patient ?TP ?H) (attribute ?DOC MedicalDoctor)) (modalAttribute (instance ?TP ?P) Possibility))	Medicine.kif 5824-5834	Wenn DiseaseOrSyndrome ist ein attribut von Object %n{nicht} und diseaseTreatment DiseaseOrSyndrome and TherapeuticProcess und Process ist ein fall von TherpeuticProcess %n{nicht} und Process ist der agent von DiseaseOrSyndromeOC %n{nicht} und Object ist ein patient von Process %n{nicht} und MedicalDoctor ist ein attribut von DiseaseOrSyndromeOC %n{nicht}, dann die Aussage Process ist ein fall von ** TherapeuticProcess %n{nicht} hat die modale Kraft von Possibility
(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 157-176	Wenn Organization ist faehig %n{nicht}, in der Rolle agent ValetParking zu tun und customer CognitiveAgent and Organization und Organization befindet sich an %n{nicht} und Process ist ein fall von Arriving %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Object %n{nicht}, dann es gibt Human um Human besetzt die position von Valet in Organization und die Aussage es gibt entity und entity um entity ist ein fall von ValetParking %n{nicht} und entity ist der agent von Human %n{nicht} und Entity ist ein patient von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von ParkingRegion %n{nicht} hat die modale Kraft von Possibility
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False))	UXExperimentalTerms.kif 549-556	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 100 %n{nicht}, dann truth ** Sentence and False
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True))	UXExperimentalTerms.kif 540-547	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Sentence ist ein fall von Formula %n{nicht} und Sentence ist ein patient von Experimenting %n{nicht} und RealNumber ist gleich 100 %n{nicht}, dann truth ** Sentence and True
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 531-537	Wenn confidenceInterval Experimenting and RealNumber und Experimenting ist ein fall von Experimenting %n{nicht} und Formula ist ein fall von Formula %n{nicht} und Formula ist ein patient von Experimenting %n{nicht}, dann RealNumber drueckt die wahrscheinlichkeit von ** Formula aus
(=> (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	Wenn customer CognitiveAgent and AutonomousAgent und corkageFee CurrencyMeasure, Object and AutonomousAgent und Object ist ein fall von Object %n{nicht} und es gibt nicht Process um Process ist ein fall von Buying %n{nicht} und Object ist ein patient von Process %n{nicht} und Process endet an CognitiveAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht} und Process ist ein fall von Drinking %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht}, dann es gibt Process um Process ist ein fall von Corkage %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process umfasst einen hinweis auf Object und Process endet an ** AutonomousAgent %n{nicht}
(=> (and (dampingRatio ?P ?R) (greaterThan ?R 0) (instance ?T Tremor) (patient ?T ?P) (instance ?U UnitOfLength) (holdsDuring ?T1 (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring ?T2 (physicalAmplitude ?T (MeasureFn ?A2 ?U))) (during ?T1 ?T) (during ?T2 ?T) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2))	Cars.kif 809-825	Wenn dampingRatio PhysicalSystem and RealNumber und RealNumber ist groesserAls 0 %n{nicht} und TimeInterval ist ein fall von Tremor %n{nicht} und PhysicalSystem ist ein patient von TimeInterval %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und physicalAmplitude TimeInterval and RealNumber Entity(s) haelt waehrend TimeInterval1 %n{nicht} und physicalAmplitude TimeInterval and RealNumber Entity(s) haelt waehrend TimeInterval2 %n{nicht} und TimeInterval1 geschieht waehrend TimeInterval %n{nicht} und TimeInterval2 geschieht waehrend TimeInterval %n{nicht} und TimeInterval1 geschieht frueh als TimeInterval2 %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	Wenn Process endet an Object %n{nicht} und Process ist ein fall von Messaging %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von Telex %n{nicht}, dann es gibt Process und Entity um Object ist ein instrument fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity drueckt Entity aus und Entity ist ein fall von Text %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht}
(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3040-3054	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt entity um Process verursacht entity %n{nicht} und suffers entity and CognitiveAgent hat die modale Kraft von Possibility
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely))	Medicine.kif 3022-3038	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt CognitiveAgentROC um Process verursacht CognitiveAgentROC %n{nicht} und suffers CognitiveAgentROC and ** CognitiveAgent hat die modale Kraft von Likely
(=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	Merge.kif 15571-15588	Wenn ausgabe PositiveInteger von ContentBearingObject ist gleich ContentBearingObject %n{nicht} und ausgabe PositiveInteger von ContentBearingObject ist gleich ContentBearingObject %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht} und Process ist ein fall von Publication %n{nicht} und Process ist ein fall von Publication %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und datum von Process ist Day %n{nicht} und datum von Process ist Day %n{nicht}, dann das ende von Day geschieht vor das ende von ** Day %n{nicht}
(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?X ?CUST) ?AGENT ?CUST) Possibility))	Dining.kif 336-350	Wenn facility AutonomousAgent and Object und customer CognitiveAgent and AutonomousAgent und Entity ist ein fall von Object %n{nicht} und CognitiveAgent wuenscht es gibt entity um entity ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} %n{nicht}, dann die Aussage AutonomousAgent erlaubt CognitiveAgent, die Aufgabe der Art von CognitiveAgent verwendet Entity durchzuf�hren %n{nicht} hat die modale Kraft von Possibility
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	Wenn freeFunctionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an CognitiveAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und AutonomousAgent besitzt Object %n{nicht} und customer CognitiveAgent and AutonomousAgent und Object ist ein fall von Process %n{nicht} und Object ist der agent von CognitiveAgent %n{nicht} oder CognitiveAgent erfaehrt Object %n{nicht} oder AutonomousAgent besitzt Object %n{nicht} und Object ist ein fall von Object %n{nicht} und CognitiveAgent verwendet Object, dann price Object, 0 UnitedStatesDollar(s) and AutonomousAgent
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST))	Hotel.kif 346-361	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Object und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Object ist ein fall von Physical %n{nicht} und Object befindet sich an %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von Human %n{nicht} und Object ist ein patient von Process %n{nicht} oder Object ist ein instrument fuer Process %n{nicht} oder Object ist ein hilfmittel fuer Process %n{nicht}, dann price Object, 0 UnitedStatesDollar(s) and ** Human
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))	Hotel.kif 364-378	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Human ist ein patient von Process %n{nicht} und Process ist ein fall von Physical %n{nicht} oder Process ist ein fall von Physical %n{nicht} und Process ist ein subProzess von Process und Process befindet sich an %n{nicht}, dann price Process, 0.0 UnitedStatesDollar(s) and ** Human
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	Wenn functionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Entity %n{nicht} und Physical ist eine teilkategorie von Object, dann die Aussage es gibt entity und entity um entity ist ein fall von Physical %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein hilfmittel fuer entity %n{nicht} oder entity ist ein instrument fuer entity %n{nicht} oder entity ist ein patient von entity %n{nicht} und entity ist der agent von Entity %n{nicht} oder Entity erfaehrt ** entity %n{nicht} hat die modale Kraft von Possibility
(=> (and (holdsDuring ?T (desires ?M (attribute ?V Dead))) (instance ?MURDER Murder) (agent ?MURDER ?M) (patient ?MURDER ?V) (earlier ?T (WhenFn ?MURDER))) (attribute ?MURDER Premeditated))	Law.kif 480-489	Wenn AutonomousAgent wuenscht Dead ist ein attribut von Entity %n{nicht} %n{nicht} haelt waehrend TimeInterval %n{nicht} und AutonomousAgentURDER ist ein fall von Murder %n{nicht} und AutonomousAgentURDER ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von AutonomousAgentURDER %n{nicht} und TimeInterval geschieht frueh als die zeit des Bestehens von AutonomousAgentURDER %n{nicht}, dann Premeditated ist ein attribut von AutonomousAgentURDER %n{nicht}
(=> (and (instance ?A Aborting) (patient ?A ?W) (instance ?W Woman)) (and (holdsDuring (BeginFn (WhenFn ?A)) (attribute ?W Pregnant)) (holdsDuring (EndFn (WhenFn ?A)) (not (attribute ?W Pregnant)))))	Mid-level-ontology.kif 21785-21796	Wenn Process ist ein fall von Aborting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Woman %n{nicht}, dann Pregnant ist ein attribut von Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Pregnant ist ein attribut von Entity nicht haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?A Accrediting) (patient ?A ?EO)) (instance ?EO EducationalOrganization))	Mid-level-ontology.kif 1003-1007	Wenn Process ist ein fall von Accrediting %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von EducationalOrganization %n{nicht}
(=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H))))))	Medicine.kif 6254-6272	Wenn Process ist ein fall von Amputating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von Limb %n{nicht}, dann es gibt Object und Object um Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Bone %n{nicht} und Object ist ein teil von Entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und Object ist ein teil von Entity nicht haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4235-4241	Wenn Object ist ein fall von Anchor %n{nicht} und ObjectTTACH ist ein fall von Attaching %n{nicht} und Object ist ein instrument fuer ObjectTTACH %n{nicht} und Entity ist ein patient von ObjectTTACH %n{nicht}, dann ** Entity ist ein fall von WaterVehicle %n{nicht}
(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 966-975	Wenn Process ist ein fall von Anesthetizing %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Unconscious ist ein attribut von Entity %n{nicht} und Pain ist ein attribut von Entity nicht haelt waehrend die zeit des Bestehens von Process %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (holdsDuring ?TIME (attribute ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT))))	Merge.kif 1600-1606	LegalAgent ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn entity ist faehig %n{nicht}, in der Rolle agent LegalAction zu tun oder entity ist faehig %n{nicht}, in der Rolle patient LegalAction zu tun haelt waehrend ** TimePosition %n{nicht}
(=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O))))	Mid-level-ontology.kif 21042-21048	Wenn actedIn Human and ContentBearingPhysical, dann es gibt Process um Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von ** Process %n{nicht}
(=> (advertisedOn ?OBJ ?SITE) (exists (?ADVERT) (and (instance ?ADVERT Advertising) (hostedOn ?ADVERT ?SITE) (patient ?ADVERT ?OBJ))))	UXExperimentalTerms.kif 193-199	Wenn advertisedOn Object and WebSite, dann es gibt WebListing um WebListing ist ein fall von Advertising %n{nicht} und hostedOn WebListing and WebSite und Object ist ein patient von ** WebListing %n{nicht}
(=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY))))	Government.kif 669-676	Wenn agreementAdoptionDate Proposition and TimePosition, dann es gibt Process und TimePosition um Process ist ein fall von Committing %n{nicht} und TimePosition ist ein fall von TimePosition %n{nicht} und Proposition ist ein patient von Process %n{nicht} und Process besteht waehrend ** TimePosition %n{nicht}
(=> (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	Wenn AppraisalAsJustTreatment ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgentJT ist ein fall von AppraisalProcess %n{nicht} und CognitiveAgentJT ist der agent von CognitiveAgent %n{nicht}, dann es gibt Process und CognitiveAgent2 um Process ist ein fall von Process %n{nicht} und CognitiveAgentJT umfasst einen hinweis auf Process und Process ist der agent von CognitiveAgent2 %n{nicht} und CognitiveAgent ist gleich CognitiveAgent2 nicht und CognitiveAgent ist ein patient von Process %n{nicht} und CognitiveAgent wuenscht ** Process %n{nicht}
(=> (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	Wenn AppraisalAsUnjustTreatment ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgentUJ ist ein fall von AppraisalProcess %n{nicht} und CognitiveAgentUJ ist der agent von CognitiveAgent %n{nicht}, dann es gibt Process und CognitiveAgent2 um Process ist ein fall von Process %n{nicht} und CognitiveAgentUJ umfasst einen hinweis auf Process und Process ist der agent von CognitiveAgent2 %n{nicht} und CognitiveAgent ist gleich CognitiveAgent2 nicht und CognitiveAgent ist ein patient von Process %n{nicht} und CognitiveAgent wuenscht ** Process nicht
(=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER)))))	Biography.kif 757-776	Wenn VoiceActor ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von DramaticActing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von LinguisticCommunication %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein subProzess von Process, dann es gibt nicht Process und AutonomousAgent um Process ist ein fall von Seeing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Process und AutonomousAgent um Process ist ein fall von Hearing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	Wenn Muslim ist ein attribut von AutonomousAgent %n{nicht} und wert von dem Eigentum von AutonomousAgent ist gleich CurrencyMeasure %n{nicht}, dann die Aussage es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Zakat %n{nicht} und entity ist ein fall von Year %n{nicht} und entity geschieht waehrend die zeit des Bestehens von AutonomousAgent %n{nicht} und FullyFormed ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend entity %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} und wert von entity ist entity entity(s) und entity ist ein fall von UnitOfCurrency %n{nicht} und entity ist groesserAls CurrencyMeasure und 0.025 %n{nicht} hat die modale Kraft von Obligation
(=> (and (attribute ?M DemoRecording) (instance ?M Recording)) (hasPurpose ?M (exists (?D ?G ?MUSIC) (and (instance ?D Demonstrating) (record ?M ?MUSIC) (patient ?D ?MUSIC) (destination ?D ?G) (instance ?G GroupOfPeople)))))	Music.kif 408-419	Wenn DemoRecording ist ein attribut von Object %n{nicht} und Object ist ein fall von Recording %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und ObjectUSIC um entity ist ein fall von Demonstrating %n{nicht} und record Object and ObjectUSIC und ObjectUSIC ist ein patient von entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von GroupOfPeople %n{nicht} %n{nicht}
(=> (and (attribute ?O ?P) (instance ?P Fingerprint) (not (instance ?O Finger))) (exists (?PR ?F) (and (instrument ?PR ?F) (instance ?F Finger) (attribute ?F ?P) (patient ?PR ?O))))	Mid-level-ontology.kif 12755-12765	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von Fingerprint %n{nicht} und Object ist ein fall von Finger nicht, dann es gibt AttributeR und Object um Object ist ein instrument fuer AttributeR %n{nicht} und Object ist ein fall von Finger %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Object ist ein patient von AttributeR %n{nicht}
(=> (and (attribute ?OBJ ?ATR) (instance ?ATR SubjectiveAssessmentAttribute)) (exists (?TIME ?JUDGE ?AGENT) (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ) (result ?JUDGE (attribute ?OBJ ?ATR)) (holdsDuring ?TIME (believes ?AGENT (property ?OBJ ?ATR))))))	Merge.kif 17413-17426	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von SubjectiveAssessmentAttribute %n{nicht}, dann es gibt TimePosition, Process, and und AutonomousAgent um Process ist ein fall von Judging %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und Attribute ist ein attribut von Object %n{nicht} ist ein resultat von Process %n{nicht} und AutonomousAgent glaubt %n{nicht}, dass Object hat ein attribut Attribute %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (and (attribute ?OFFICER ?COR) (instance ?COR CommissionedOfficerRank)) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (attribute ?PATIENT Soldier)))))	Military.kif 286-297	Wenn Attribute ist ein attribut von AutonomousAgent %n{nicht} und Attribute ist ein fall von CommissionedOfficerRank %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Managing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von MilitaryOrganization %n{nicht} oder Soldier ist ein attribut von Object %n{nicht}
(=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2881-2897	Wenn FOKOrder ist ein attribut von Agreement %n{nicht} und agreementPeriod Agreement and TimeInterval, dann es gibt Process und TimeInterval um Process ist ein fall von FillingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beginnt TimeInterval %n{nicht} oder es gibt Process und TimeInterval um Process ist ein fall von CancellingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beginnt ** TimeInterval %n{nicht}
(=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute ?Time) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel ?End) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period)))))	FinancialOntology.kif 2917-2933	Wenn GTCOrder ist ein attribut von Agreement %n{nicht} und agreementPeriod Agreement and TimeInterval, dann es gibt Process und TimeInterval um Process ist ein fall von FillingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval deckt sich mit TimeInterval %n{nicht} oder es gibt Process und TimeInterval um Process ist ein fall von CancellingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beendet ** TimeInterval %n{nicht}
(=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2854-2870	Wenn IOCOrder ist ein attribut von Agreement %n{nicht} und agreementPeriod Agreement and TimeInterval, dann es gibt Process und TimeInterval um Process ist ein fall von FillingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beginnt TimeInterval %n{nicht} oder es gibt Process und TimeInterval um Process ist ein fall von CancellingAnOrder %n{nicht} und Agreement ist ein patient von Process %n{nicht} und die zeit des Bestehens von Process ist gleich TimeInterval %n{nicht} und TimeInterval beginnt ** TimeInterval %n{nicht}
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2008-2029	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement FinancialTransaction and Agreement und Broker ist ein attribut von Agreement %n{nicht} und orderFor FinancialTransaction, Buying and Security und das mass von Security ist PhysicalQuantity %n{nicht} und limitPrice FinancialTransaction and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und askPrice Security, RealNumber UnitOfMeasure(s) and AutonomousAgent und RealNumber ist kleinerAlsOderGleich RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2031-2052	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement FinancialTransaction and Agreement und Broker ist ein attribut von Agreement %n{nicht} und orderFor FinancialTransaction, Selling and Security und das mass von Security ist PhysicalQuantity %n{nicht} und limitPrice FinancialTransaction and RealNumber UnitOfMeasure(s) und bidPrice Security, RealNumber UnitOfMeasure(s) and AutonomousAgent und UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und RealNumber ist groesserAlsOderGleich RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (and (attribute ?Order MarketOrder) (attribute ?Broker Broker) (partyToAgreement ?Order ?Broker) (orderFor ?Order ?TransactionType ?Shares)) (holdsObligation (KappaFn ?Transaction (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares))) ?Broker))	FinancialOntology.kif 1981-1990	Wenn MarketOrder ist ein attribut von FinancialTransaction %n{nicht} und Broker ist ein attribut von Agreement %n{nicht} und partyToAgreement FinancialTransaction and Agreement und orderFor FinancialTransaction, FinancialTransaction and Security, dann Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X)))))	Hotel.kif 1466-1474	Wenn DutyFree ist ein attribut von Object %n{nicht} und Object ist ein fall von Product %n{nicht}, dann es gibt nicht Process um Process ist ein fall von DutyTax %n{nicht} und Object ist ein patient von Process %n{nicht}
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1478-1491	Wenn DutyFree ist ein attribut von Object %n{nicht} und Object ist ein fall von Store %n{nicht}, dann es gibt GeopoliticalArea, Entity,, , Object, and und Process um GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Object befindet sich an %n{nicht} und Object ist eine teilkategorie von Object und importCommodityType GeopoliticalArea and Object und Entity ist ein fall von Object %n{nicht} und Process ist ein fall von Selling %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Process befindet sich an %n{nicht}
(=> (and (attribute ?X Multilingual) (instance ?SPEAK Speaking) (agent ?SPEAK ?X)) (modalAttribute (exists (?LANG1 ?LANG2) (and (instance ?LANG1 SpokenHumanLanguage) (instance ?LANG2 SpokenHumanLanguage) (not (equal ?LANG1 ?LANG2)) (or (patient ?SPEAK ?LANG1) (patient ?SPEAK ?LANG2)))) Possibility))	Mid-level-ontology.kif 26044-26057	Wenn Multilingual ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von Speaking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von SpokenHumanLanguage %n{nicht} und entity ist ein fall von SpokenHumanLanguage %n{nicht} und entity ist gleich entity nicht und entity ist ein patient von Process %n{nicht} oder entity ist ein patient von Process %n{nicht} hat die modale Kraft von Possibility
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1935-1946	Wenn TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und AutonomousAgent ist faehig %n{nicht}, in der Rolle agent RoomCleaningService zu tun, dann es gibt CognitiveAgent und Object um AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Maid ist ein attribut von CognitiveAgent %n{nicht} und Object ist ein fall von HotelUnit %n{nicht} und Object ist ein teil von eigentum von AutonomousAgent %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient RoomCleaningService zu tun und ** CognitiveAgent ist faehig %n{nicht}, in der Rolle serviceProvider RoomCleaningService zu tun
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20891-20913	Wenn Waiter ist ein attribut von CognitiveAgent %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent ist ein fall von Restaurant %n{nicht} und customer CognitiveAgent and AutonomousAgent und CognitiveAgent befindet sich an %n{nicht} und Object ist ein fall von Table %n{nicht}, dann es gibt Object, entity,, , entity, and und Object um AutonomousAgent besitzt Object %n{nicht} und Object ist ein fall von KitchenArea %n{nicht} und Object ist ein fall von DiningArea %n{nicht} und Object befindet sich an %n{nicht} und CognitiveAgent hat Zweck von entity ist ein fall von Carrying %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und entity beginnet an Object %n{nicht} und entity endet an Object %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von FoodForFn Human %n{nicht} %n{nicht}
(=> (and (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (instance ?SUBSTANCE ?TYPE) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (greaterThanOrEqualTo ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Gas)) (exists (?BOIL) (and (overlapsTemporally (WhenFn ?BOIL) ?TIME) (instance ?BOIL Boiling) (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13900-13913	Wenn boilingPoint PureSubstance and RealNumber UnitOfMeasure(s) und Entity ist ein fall von PureSubstance %n{nicht} und das mass von Entity ist RealNumber UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und RealNumber ist groesserAlsOderGleich RealNumber %n{nicht}, dann Gas ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} oder es gibt Process um TimeInterval deckt sich mit die zeit des Bestehens von Process %n{nicht} und Process ist ein fall von Boiling %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Physical)) (exists (?TRANS) (and (instance ?TRANS Buying) (patient ?TRANS ?ITEM) (agent ?TRANS ?CUST) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 30252-30261	Wenn buys CognitiveAgent, AutonomousAgent and Entity und Entity ist ein fall von Physical %n{nicht}, dann es gibt Process um Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS und ?SAMPLE ist ein fall von ?SUBSTANCE %n{nicht} und ?THERAPY ist ein fall von ?PROCESS %n{nicht} und ?ORGANISM erfaehrt ?THERAPY %n{nicht} und ?SAMPLE ist ein patient von ?THERAPY %n{nicht} verringert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht}
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))))	Mid-level-ontology.kif 18492-18509	Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Cutting %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht}
(exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture)))	Medicine.kif 4559-4564	Es gibt Process und Entity um Process ist ein fall von Disseminating %n{nicht} und Process ist der agent von Netflix %n{nicht} und Entity ist ein patient von Process %n{nicht} und ** Entity ist ein fall von MotionPicture %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: