TreeView Knowledge Base Browser

appearance as argument number 1

(documentation desires ChineseLanguage "(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要实现 ?FORMULA 所表达的事态。注：这并不意味着施事体想要的东西不能成真。另外要注意的是 desires 和 wants 的区别只在于前者是一个 PropositionalAttitude，而 wants 是一个 ObjectAttitude。")	chinese_format.kif 1936-1938
(documentation desires EnglishLanguage "(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.")	Merge.kif 2791-2795
(documentation desires JapaneseLanguage "(desires ?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。　注１：エージェントが望むものが既に正しくないという結果はない。　注2：また、desires は前者が PropositionalAttitude であるのに対し、wants は ObjectAttitude であるという点でのみ wants と区別される。")	japanese_format.kif 565-568
(domain desires 1 CognitiveAgent)	Merge.kif 2788-2788	Die Zahl 1 Argument von wuenscht ist ein fall von CognitiveAgent %n{nicht}
(domain desires 2 Formula)	Merge.kif 2789-2789	Die Zahl 2 Argument von wuenscht ist ein fall von Formula %n{nicht}
(instance desires BinaryPredicate)	Merge.kif 2785-2785	wuenscht ist ein fall von BinaryPredicate %n{nicht}
(instance desires PropositionalAttitude)	Merge.kif 2784-2784	wuenscht ist ein fall von PropositionalAttitude %n{nicht}
(relatedInternalConcept desires wants)	Merge.kif 2787-2787	wuenscht ist innerlich verwandt mit wuenscht %n{nicht}
(subrelation desires inScopeOfInterest)	Merge.kif 2786-2786	wuenscht ist eine teilrelation von imBereichInteresses

appearance as argument number 2

(disjointRelation disapproves desires)	Mid-level-ontology.kif 7466-7466	disapproves und wuenscht werden disjunkt
(format ChineseLanguage desires "%1 %n{doesn't} desires %2")	chinese_format.kif 91-91
(format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2")	english_format.kif 91-91
(format FrenchLanguage desires "%1 %n{ne} desire %n{pas} %2")	french_format.kif 68-68
(format ItalianLanguage desires "%1 %n{non} desidera%p{s} %2")	relations-it.txt 70-70
(format JapaneseLanguage desires "%1 が %2 を desire%p{s} %n{ない}")	japanese_format.kif 1894-1894
(format PortugueseLanguage desires "%1 %n{nao} deseja %n %2")	portuguese_format.kif 20-20
(format cb desires "%1 %n kagustuhan %2")	relations-cb.txt 104-104
(format cz desires "%1 %n{doesn't} desire%p{s} %2")	relations-cz.txt 98-98
(format de desires "%1 wuenscht %2 %n{nicht}")	relations-de.txt 101-101
(format hi desires "%1 %2 kii ichchha %n{nahiin} karataa hai")	relations-hindi.txt 111-111
(format ro desires "%1 %n{nu} desire%t{doreºte} %2")	relations-ro.kif 87-87
(format sv desires "%1 önskar %n{inte} %2")	relations-sv.txt 67-67
(format tg desires "%1 %n gusto %2")	relations-tg.txt 156-156
(relatedInternalConcept wants desires)	Merge.kif 2764-2764	wuenscht ist innerlich verwandt mit wuenscht %n{nicht}
(termFormat ChineseLanguage desires "欲望")	domainEnglishFormat.kif 19260-19260
(termFormat ChineseLanguage desires "渴望")	chinese_format.kif 92-92
(termFormat ChineseTraditionalLanguage desires "慾望")	domainEnglishFormat.kif 19259-19259
(termFormat EnglishLanguage desires "desires")	domainEnglishFormat.kif 19258-19258
(termFormat de desires "wuenscht")	terms-de.txt 28-28
(termFormat tg desires "gusto")	relations-tg.txt 157-157

antecedent

(=> (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 (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 ?DIO DefensiveInformationOperation) (agent ?DIO ?AGENT) (enemy ?AGENT ?ENEMY) (desires ?ENEMY (knows ?ENEMY ?FORMULA)) (desires ?AGENT (not (knows ?ENEMY ?FORMULA)))) (hasPurpose ?DIO (not (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1876-1888	Wenn Process ist ein fall von DefensiveInformationOperation %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und enemy CognitiveAgent and CognitiveAgent und CognitiveAgent wuenscht CognitiveAgent kennt entity %n{nicht} %n{nicht} und CognitiveAgent wuenscht CognitiveAgent kennt entity nicht %n{nicht}, dann Process hat Zweck von CognitiveAgent kennt ** entity nicht %n{nicht}

consequent

(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2)))))	Mid-level-ontology.kif 29558-29570	Wenn Collectible ist ein attribut von Object %n{nicht} und Object hat Zweck von Formula %n{nicht}, dann es gibt CognitiveAgent und Formula2 um CognitiveAgent ist ein fall von Human %n{nicht} und CognitiveAgent wuenscht Object %n{nicht} und CognitiveAgent wuenscht Formula2 %n{nicht} und Formula2 hat CognitiveAgent besitzt Object %n{nicht} zur Folge %n{nicht} und Formula ist gleich Formula2 nicht
(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1814-1818	Wenn candidateForPosition Election, SocialRole and CognitiveAgent und Election ist der agent von AutonomousAgent %n{nicht}, dann CognitiveAgent wuenscht CognitiveAgent besetzt die position von SocialRole in ** AutonomousAgent %n{nicht}
(=> (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	Wenn defenseLawyer LegalAction and CognitiveAgent und defendant LegalAction and CognitiveAgent, dann CognitiveAgent wuenscht es gibt nicht entity um entity ist ein fall von LegalDecision %n{nicht} und entity umfasst einen hinweis auf LegalAction und CognitiveAgent wuenscht ** entity nicht %n{nicht}
(=> (and (deviceOS ?C ?OS) (instance ?CI ?C) (instance ?OSI ?OS) (manufacturer ?C ?ORG)) (desires ?ORG (and (programRunning ?PROC ?OSI) (computerRunning ?PROC ?CI))))	ComputingBrands.kif 734-743	Wenn deviceOS Object and Computer und ObjectI ist ein fall von Object %n{nicht} und ComputerI ist ein fall von Computer %n{nicht} und manufacturer Object and CognitiveAgent, dann CognitiveAgent wuenscht programRunning entity and ComputerI und computerRunning entity and ObjectI %n{nicht}
(=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A)))))))	Medicine.kif 2200-2216	Wenn Process ist ein fall von AutoImmuneDisorder %n{nicht} und CognitiveAgent erfaehrt Process %n{nicht}, dann es gibt Object, Process, and und Object um Object ist ein fall von Antibody %n{nicht} und Object ist ein teil von CognitiveAgent %n{nicht} und Object ist ein fall von Cell %n{nicht} und Object ist ein teil von CognitiveAgent %n{nicht} und Process ist ein fall von Destruction %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und CognitiveAgent wuenscht Process ist ein fall von Destruction %n{nicht} und Object ist ein instrument fuer Process %n{nicht} nicht
(=> (and (instance ?ATC AddToCart) (instance ?USER AutonomousAgent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1312-1324	Wenn Process ist ein fall von AddToCart %n{nicht} und CognitiveAgent ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein fall von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Buying %n{nicht} und Entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} %n{nicht}
(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 21828-21847	Wenn Process ist ein fall von Blockade %n{nicht} und Contest ist ein fall von Contest %n{nicht} und Process ist ein subProzess von Contest und contestParticipant Contest and AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Contest1 und CognitiveAgent um Contest1 verhindert das Auftreten von Translocation und Process ist ein fall von Contest1 %n{nicht} und contestParticipant Contest and CognitiveAgent und AutonomousAgent ist gleich CognitiveAgent nicht und CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Contest1 %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein subProzess von Contest %n{nicht}
(=> (and (instance ?C ComputerBackingUp) (dataProcessed ?C ?DD) (instance ?DD DigitalData) (agent ?C ?A)) (desires ?A (exists (?T) (and (earlier (WhenFn ?C) ?T) (holdsDuring (?T) (exists (?PROC) (and (instance ?PROC ComputerProcess) (capability ?PROC dataProcessed ?DD))))))))	ComputingBrands.kif 3496-3510	Wenn ComputerProcess ist ein fall von ComputerBackingUp %n{nicht} und dataProcessed ComputerProcess and DigitalData und DigitalData ist ein fall von DigitalData %n{nicht} und ComputerProcess ist der agent von CognitiveAgent %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um die zeit des Bestehens von ComputerProcess geschieht frueh als entity %n{nicht} und es gibt entity um entity ist ein fall von ComputerProcess %n{nicht} und DigitalData ist faehig %n{nicht}, in der Rolle dataProcessed entity zu tun haelt waehrend ** entity %n{nicht} %n{nicht}
(=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE))))	Mid-level-ontology.kif 937-945	Wenn Collection ist ein fall von Club %n{nicht} und CognitiveAgent ist ein Mitglied von Collection %n{nicht} und CognitiveAgent ist ein Mitglied von Collection %n{nicht}, dann es gibt Formula um CognitiveAgent wuenscht Formula %n{nicht} und CognitiveAgent wuenscht Formula %n{nicht}
(=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON))))	Merge.kif 12258-12263	Wenn Process ist ein fall von Confining %n{nicht} und CognitiveAgent ist ein patient von Process %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht}, dann CognitiveAgent wuenscht CognitiveAgent ist ein patient von ** Process %n{nicht} nicht
(=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING)))	Mid-level-ontology.kif 12977-12984	Wenn Process ist ein fall von ExpressingApproval %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Formula ist ein patient von Process %n{nicht}, dann CognitiveAgent wuenscht Formula %n{nicht} oder CognitiveAgent wuenscht Formula %n{nicht}
(=> (and (instance ?F (FailureFn ?C)) (agent ?F ?A)) (and (desires ?A (exists (?I) (and (instance ?I ?C) (agent ?I ?A)))) (not (exists (?I) (and (instance ?I ?C) (during (WhenFn ?I) (WhenFn ?F)) (agent ?I ?A))))))	ComputingBrands.kif 4517-4532	Wenn Process ist ein fall von FailureFn IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann CognitiveAgent wuenscht es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} %n{nicht} und es gibt nicht Process um Process ist ein fall von IntentionalProcess %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA)))	Government.kif 2326-2333	Wenn CognitiveAgent ist ein fall von PoliticalPressureGroup %n{nicht} und CognitiveAgent hat Zweck von Formula %n{nicht} und agentOperatesInArea CognitiveAgent and GeographicArea und GeographicArea ist ein fall von Nation %n{nicht}, dann CognitiveAgent wuenscht GovernmentFn GeographicArea glaubt %n{nicht}, dass Formula %n{nicht}
(=> (and (instance ?I Insomnia) (experiencer ?I ?H)) (exists (?S ?D ?D2) (and (instance ?S Sleeping) (experiencer ?S ?H) (duration (WhenFn ?S) ?D) (desires ?H (and (duration (WhenFn ?S) ?D2) (greaterThan ?D2 ?D))))))	Mid-level-ontology.kif 16474-16486	Wenn Process ist ein fall von Insomnia %n{nicht} und CognitiveAgent erfaehrt Process %n{nicht}, dann es gibt Process, TimeDuration, and und TimeDuration2 um Process ist ein fall von Sleeping %n{nicht} und CognitiveAgent erfaehrt Process %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht} und CognitiveAgent wuenscht dauer von die zeit des Bestehens von Process ist TimeDuration2 %n{nicht} und TimeDuration2 ist groesserAls ** TimeDuration %n{nicht} %n{nicht}
(=> (and (instance ?I Itching) (located ?I ?P) (part ?P ?H) (experiencer ?I ?H)) (desires ?H (exists (?S) (and (instance ?S Scratching) (during (WhenFn ?S) (WhenFn ?I)) (located ?S ?P)))))	Mid-level-ontology.kif 5719-5730	Wenn Process ist ein fall von Itching %n{nicht} und Process befindet sich an %n{nicht} und Object ist ein teil von CognitiveAgent %n{nicht} und CognitiveAgent erfaehrt Process %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Scratching %n{nicht} und die zeit des Bestehens von entity geschieht waehrend die zeit des Bestehens von Process %n{nicht} und entity befindet sich an %n{nicht} %n{nicht}
(=> (and (instance ?J Jailbreaking) (instance ?D Computer) (instance ?D ?CLASS) (patient ?J ?D) (manufacturer ?CLASS ?C)) (not (desires ?C (exists (?A) (agent ?J ?A)))))	ComputingBrands.kif 3476-3486	Wenn Process ist ein fall von Jailbreaking %n{nicht} und Entity ist ein fall von Computer %n{nicht} und Entity ist ein fall von Object %n{nicht} und Entity ist ein patient von Process %n{nicht} und manufacturer Object and CognitiveAgent, dann CognitiveAgent wuenscht es gibt entity um Process ist der agent von entity %n{nicht} nicht
(=> (and (instance ?LEAVE Quitting) (instance ?ORG Organization) (agent ?LEAVE ?PERSON) (patient ?LEAVE ?ORG)) (desires ?PERSON (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?PERSON ?ORG)))))	Merge.kif 10699-10709	Wenn Process ist ein fall von Quitting %n{nicht} und Entity ist ein fall von Organization %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann CognitiveAgent wuenscht CognitiveAgent ist ein Mitglied von Entity nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} %n{nicht}
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 313-325	Wenn Object ist ein fall von WebListing %n{nicht} und Process ist ein fall von Object %n{nicht} und CognitiveAgent ist ein fall von AutonomousAgent %n{nicht} und AuctionAttribute ist ein attribut von Object %n{nicht} und Object ist ein patient von Process %n{nicht} und creator CognitiveAgent and Object, dann CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Auctioning %n{nicht} und Process ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState)))	Government.kif 2227-2233	Wenn Collection ist ein fall von CommunistParty %n{nicht} und CognitiveAgent ist ein Mitglied von Collection %n{nicht} und Entity ist ein fall von GeopoliticalArea %n{nicht}, dann CognitiveAgent wuenscht governmentType ** Entity and CommunistState %n{nicht}
(=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F))))	Mid-level-ontology.kif 865-873	Wenn Process ist ein fall von Punishing %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Entity %n{nicht}, dann CognitiveAgent kennt Entity wuenscht Entity nicht %n{nicht}
(=> (and (instance ?PSYOP PsychologicalOperation) (agent ?PSYOP ?AGENT) (patient ?PSYOP ?TARGET)) (hasPurpose ?PSYOP (exists (?PROCESS ?RESULT) (and (agent ?PROCESS ?TARGET) (result ?PROCESS ?RESULT) (desires ?AGENT ?RESULT)))))	MilitaryProcesses.kif 1184-1194	Wenn Process ist ein fall von PsychologicalOperation %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Process hat Zweck von es gibt entity und entity um entity ist der agent von Entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und AutonomousAgent wuenscht ** entity %n{nicht} %n{nicht}
(=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA))	Merge.kif 13246-13252	Wenn Process ist ein fall von Requesting %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Formula ist ein patient von Process %n{nicht} und Formula ist ein fall von Formula %n{nicht}, dann CognitiveAgent wuenscht ** Formula %n{nicht}
(=> (and (instance ?THANK Thanking) (agent ?THANK ?AGENT) (patient ?THANK ?THING) (destination ?THANK ?PERSON)) (and (instance ?PERSON Human) (or (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)) (holdsDuring (WhenFn ?THANK) (desires ?AGENT ?THING)))))	Mid-level-ontology.kif 13175-13185	Wenn Process ist ein fall von Thanking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an Entity %n{nicht}, dann Entity ist ein fall von Human %n{nicht} und AutonomousAgent wuenscht Entity %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht} oder AutonomousAgent wuenscht Entity %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP)))	Mid-level-ontology.kif 853-858	Wenn Process ist ein fall von Threatening %n{nicht} und Formula ist ein patient von Process %n{nicht} und Process endet an CognitiveAgent %n{nicht}, dann CognitiveAgent wuenscht Formula nicht
(=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ))))	UXExperimentalTerms.kif 61-68	Wenn listingSeller WebListing and CognitiveAgent und Entity ist ein fall von Object %n{nicht} und Entity ist ein patient von WebListing %n{nicht}, dann CognitiveAgent wuenscht es gibt entity um Entity ist ein patient von ** entity %n{nicht} %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: