agent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation agent ChineseLanguage "(agent ?PROCESS ?AGENT) 的意思是 ?AGENT，不管它有没有生命，也不管他有没有自主意图，它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如：在以下 '夏娃咬了一口苹果'这命题中，夏娃是个 agent。")	chinese_format.kif 1865-1867
(documentation agent EnglishLanguage "(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.")	Merge.kif 2437-2440
(documentation agent JapaneseLanguage "(agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな決定要因であることを意味する。例：イブは次の命題の agentag である: イブがリンゴを噛む。")	japanese_format.kif 488-490
(domain agent 1 Process)	Merge.kif 2433-2433	Die Zahl 1 Argument von agent ist ein fall von Process %n{nicht}
(domain agent 2 AutonomousAgent)	Merge.kif 2434-2434	Die Zahl 2 Argument von agent ist ein fall von AutonomousAgent %n{nicht}
(instance agent CaseRole)	Merge.kif 2431-2431	agent ist ein fall von CaseRole %n{nicht}
(instance agent PartialValuedRelation)	Merge.kif 2432-2432	agent ist ein fall von PartialValuedRelation %n{nicht}
(subrelation agent involvedInEvent)	Merge.kif 2435-2435	agent ist eine teilrelation von involvedInEvent

appearance as argument number 2

(format ChineseLanguage agent "%2 %n 是 %1 的 agent")	chinese_format.kif 53-53
(format EnglishLanguage agent "%2 is %n an agent of %1")	english_format.kif 53-53
(format FrenchLanguage agent "%1 est %n un agent de %2")	french_format.kif 55-55
(format ItalianLanguage agent "%1 è %n un agente di %2")	relations-it.txt 22-22
(format JapaneseLanguage agent "%2 は %1 の agent では %n")	japanese_format.kif 1875-1875
(format PortugueseLanguage agent "%1 e' %n um agente de %2")	portuguese_format.kif 7-7
(format cz agent "%2 %p{je} %n{nen�} p�vodcem %1")	relations-cz.txt 80-80
(format de agent "%1 ist der agent von %2 %n{nicht}")	relations-de.txt 62-62
(format hi agent "%1 %2 kaa kartaa %n hai")	relations-hindi.txt 53-53
(format ro agent "%1 %n{nu} este un agent%t{agent} pentru %2")	relations-ro.kif 74-74
(format sv agent "%1 är %n{inte} en agent till %2")	relations-sv.txt 54-54
(format tg agent "%1 %n ang kumakatawan sa %2")	relations-cb.txt 56-56
(relatedInternalConcept typicalAction agent)	Mid-level-ontology.kif 22819-22819	typicalAction ist innerlich verwandt mit agent %n{nicht}
(subrelation arrestingOfficer agent)	Law.kif 227-227	arrestingOfficer ist eine teilrelation von agent
(subrelation contestParticipant agent)	Mid-level-ontology.kif 19677-19677	contestParticipant ist eine teilrelation von agent
(subrelation gainsControl agent)	Mid-level-ontology.kif 23435-23435	gainsControl ist eine teilrelation von agent
(subrelation invadingVirus agent)	VirusProteinAndCellPart.kif 23-23	invadingVirus ist eine teilrelation von agent
(subrelation perpetrator agent)	Law.kif 271-271	perpetrator ist eine teilrelation von agent
(subrelation plaintiff agent)	Mid-level-ontology.kif 16272-16272	plaintiff ist eine teilrelation von agent
(subrelation prosecutor agent)	Law.kif 309-309	prosecutor ist eine teilrelation von agent
(subrelation serviceProvider agent)	Mid-level-ontology.kif 22879-22879	serviceProvider ist eine teilrelation von agent
(termFormat ChineseLanguage agent "主事")	chinese_format.kif 54-54

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Wenn Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von ArtWork %n{nicht}, dann Artist ist ein attribut von AutonomousAgent %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 ?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 ?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 (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3984-4004	Wenn ADHD ist ein attribut von AutonomousAgent %n{nicht} und ADHD ist ein attribut von AutonomousAgent nicht und AutonomousAgent ist gleich AutonomousAgent nicht und Process ist ein fall von Class %n{nicht} und Process ist ein fall von Class %n{nicht} und Class ist eine teilkategorie von IntentionalPsychologicalProcess und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht}, dann die Aussage TimeDuration ist groesserAls TimeDuration %n{nicht} hat die modale Kraft von Likely
(=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation))	ArabicCulture.kif 134-143	Wenn Muslim ist ein attribut von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle agent Hajj zu tun, dann die Aussage es gibt entity um entity ist ein fall von Hajj %n{nicht} und entity ist der agent von Object %n{nicht} hat die modale Kraft von Obligation
(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	Wenn CommunalAttribute ist ein attribut von Object %n{nicht} und Object ist ein fall von Table %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und eventLocated Process and Object, dann die Aussage es gibt entity, entity, and und Object2 um entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und AutonomousAgent ist gleich entity nicht und entity ist ein fall von GroupOfPeople %n{nicht} und eventLocated entity and Object2 und die zeit des Bestehens von Process schliesst die zeit des Bestehens von entity zeitlich an und Object ist gleich ** Object2 %n{nicht} hat die modale Kraft von Possibility
(=> (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 25748-25761	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 Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 730-740	Wenn Writer ist ein attribut von AutonomousAgent %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und ContentBearingObject ist eine teilkategorie von Text oder ContentBearingObject ist eine teilkategorie von Document und Process ist ein fall von Writing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann AutonomousAgent ist der schreiber von ** ContentBearingObject
(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy))))	Medicine.kif 367-385	Wenn breathingRate AutonomousAgent, TimeInterval and Integer und TimeInterval ist ein fall von Minute %n{nicht} und es gibt nicht Integer um Integer ist ein fall von RecreationOrExercise %n{nicht} und Integer ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von Integer %n{nicht} und HumanAdult ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Integer ist groesserAls 16 %n{nicht} oder Integer ist kleinerAls 12 %n{nicht}, dann Healthy ist ein attribut von AutonomousAgent nicht haelt waehrend ** TimeInterval %n{nicht}
(=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT)))	Government.kif 1850-1854	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 (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 153-172	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 (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy))	Government.kif 1588-1595	Wenn chiefOfStateType GeopoliticalArea and Position und Election ist der agent von GeopoliticalArea %n{nicht} und Election ist ein fall von Election %n{nicht} und electionForPosition Election and Position und Election ist ein fall von PopularElection %n{nicht}, dann governmentType GeopoliticalArea and Democracy
(=> (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 (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector)))	Mid-level-ontology.kif 20734-20743	Wenn directed Human and MotionPicture und Process ist ein fall von FilmMaking %n{nicht} und AutonomousAgent ist ein fall von Organization %n{nicht} und leader AutonomousAgent and Human und Process ist der agent von AutonomousAgent %n{nicht} und MotionPicture ist ein resultat von Process %n{nicht}, dann FilmDirector ist ein attribut von Human %n{nicht} haelt waehrend 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 ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2))	Mid-level-ontology.kif 18343-18358	Wenn Organization ist gleich DepartmentOfFn Organization and Physical %n{nicht} und subOrganization Organization2 and Organization und Organization ist gleich Organization2 nicht und Entity ist ein fall von Physical %n{nicht} und Organization ist an Entity interessiert %n{nicht} und RealNumber ist gleich die wahrscheinlichkeit von entity ist der agent von Organization %n{nicht} %n{nicht} und entity2 ist gleich die wahrscheinlichkeit von entity ist der agent von Organization2 %n{nicht} %n{nicht}, dann RealNumber ist groesserAls entity2 %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 (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (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 546-561	Wenn freePropertyAmenity AutonomousAgent and Physical und Process ist ein fall von Physical %n{nicht} und customer CognitiveAgent and AutonomousAgent und Process ist ein fall von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} oder CognitiveAgent erfaehrt Process %n{nicht} oder AutonomousAgent besitzt Process %n{nicht} und Process ist ein fall von Object %n{nicht} und CognitiveAgent verwendet Process, dann price Process, 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7727-7733	customer CognitiveAgent and AutonomousAgent genau dann wenn es gibt Process um Process ist ein fall von FinancialTransaction %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an ** CognitiveAgent %n{nicht}
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3635-3642	customerRepresentative CognitiveAgent, CognitiveAgent and Organization genau dann wenn es gibt Process um Process ist ein fall von FinancialTransaction %n{nicht} und Organization beschaeftigt CognitiveAgent %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process endet an ** CognitiveAgent %n{nicht}
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P)))))	Mid-level-ontology.kif 30271-30279	Mute ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht Process um Process ist ein fall von Speaking %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}
(<=> (holdsDuring ?TIME (attribute ?AGENT LegalAgent)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT))))	Merge.kif 1601-1607	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}
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14100-14106	Wenn agreementClause Proposition, Permission, Agreement and CognitiveAgent, dann CognitiveAgent hat das Recht, es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von ** CognitiveAgent %n{nicht} durchzufuehren %n{nicht}
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14091-14098	Wenn agreementClause Proposition, Prohibition, Agreement and CognitiveAgent, dann CognitiveAgent hat das Recht, es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von ** CognitiveAgent %n{nicht} durchzufuehren nicht
(=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P))))	Music.kif 280-287	Wenn albumArtist Album and CognitiveAgent, dann es gibt ContentBearingObject und Process um ContentBearingObject ist ein fall von Recording %n{nicht} und ContentBearingObject ist ein Mitglied von Album und record ContentBearingObject and Process und Process ist der agent von ** CognitiveAgent %n{nicht}
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 14079-14089	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent und DeonticAttribute ist gleich Obligation %n{nicht} oder DeonticAttribute ist gleich Promise %n{nicht}, dann die Aussage es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von CognitiveAgent %n{nicht} hat die modale Kraft von Likely
(=> (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 ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A))))	Biography.kif 223-230	Wenn Founder ist ein attribut von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht}, dann es gibt Process um Process ist ein fall von Founding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (attribute ?AC TwoFactorAuthentication) (loggedInDuring ?A ?AC ?T)) (exists (?TF) (and (instance ?TF TwoFactorLoggingIn) (agent ?TF ?A) (accountUsed ?TF ?AC) (earlier (WhenFn ?TF) ?T))))	ComputingBrands.kif 4373-4382	Wenn TwoFactorAuthentication ist ein attribut von UserAccount %n{nicht} und loggedInDuring AutonomousAgent, UserAccount and TimeInterval, dann es gibt TimeIntervalF um TimeIntervalF ist ein fall von TwoFactorLoggingIn %n{nicht} und TimeIntervalF ist der agent von AutonomousAgent %n{nicht} und accountUsed TimeIntervalF and UserAccount und die zeit des Bestehens von TimeIntervalF geschieht frueh als ** TimeInterval %n{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 ?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 17332-17345	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 ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation))	ArabicCulture.kif 134-143	Wenn Muslim ist ein attribut von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle agent Hajj zu tun, dann die Aussage es gibt entity um entity ist ein fall von Hajj %n{nicht} und entity ist der agent von Object %n{nicht} hat die modale Kraft von Obligation
(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2 ?X2) (and (instance ?E2 Eating) (agent ?E2 ?GRP2) (not (equal ?GRP1 ?GRP2)) (instance ?GRP2 GroupOfPeople) (eventLocated ?E2 ?X2) (meetsTemporally (WhenFn ?E1) (WhenFn ?E2)) (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	Wenn CommunalAttribute ist ein attribut von Object %n{nicht} und Object ist ein fall von Table %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und eventLocated Process and Object, dann die Aussage es gibt entity, entity, and und Object2 um entity ist ein fall von Eating %n{nicht} und entity ist der agent von entity %n{nicht} und AutonomousAgent ist gleich entity nicht und entity ist ein fall von GroupOfPeople %n{nicht} und eventLocated entity and Object2 und die zeit des Bestehens von Process schliesst die zeit des Bestehens von entity zeitlich an und Object ist gleich ** Object2 %n{nicht} hat die modale Kraft von Possibility
(=> (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 20601-20623	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 (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 29963-29972	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}
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 29974-29984	Wenn buys CognitiveAgent, AutonomousAgent and Proposition und Proposition ist ein fall von Proposition %n{nicht}, dann es gibt Process und Process um Process ist der agent von CognitiveAgent %n{nicht} und Process druekt den Inhalt von Proposition aus und Process ist ein fall von Buying %n{nicht} und Process ist ein patient von Process %n{nicht} und Process beginnet an ** AutonomousAgent %n{nicht}
(=> (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 153-172	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 (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T)))))	Hotel.kif 684-695	Wenn checkOutTime CognitiveAgent and TimePoint und guest CognitiveAgent and CognitiveAgent, dann expects CognitiveAgent and es gibt entity und entity um entity ist ein fall von TimePoint %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und entity ist ein fall von CheckOutService %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor entity %n{nicht}
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1132-1152	Wenn Human ist der buerger von Nation und UniversalSuffrageLaw ist eine teilangelegenheit von RegionalLawFn Nation %n{nicht}, dann RegionalLawFn Nation erlaubt Human, die Aufgabe der Art von fuer alle entity, entity, and und entity wenn Human ist der buerger von Nation und suffrageAgeMinimum Nation and entity YearDuration(s) und das alter von Human ist entity YearDuration(s) %n{nicht} und entity ist groesserAlsOderGleich entity %n{nicht} und entity ist ein fall von ElectionFn Nation %n{nicht}, dann es gibt entity um entity ist ein fall von VotingFn entity %n{nicht} und entity ist der agent von Human %n{nicht} durchzuf�hren %n{nicht}
(=> (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}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA)))))))	People.kif 456-469	Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1241-1248	Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING wenn ?ELECTION ist ein fall von ElectionFn ?AGENT %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht}, dann Male ist ein attribut von ?VOTER %n{nicht} enthaelt Informationen ueber ExclusiveMaleSuffrage
(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)	Government.kif 923-931	Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER wenn ?COUNTRY ist ein fall von Nation %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?COUNTRY %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht}, dann ?VOTER ist der buerger von ?COUNTRY enthaelt Informationen ueber VoterCitizenshipRequirement
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1092-1103	Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE wenn ?AGENT ist der buerger von ?POLITY und suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) und das alter von ?AGENT ist ?AGE YearDuration(s) %n{nicht} und ?AGE ist groesserAlsOderGleich ?VOTINGAGE %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?POLITY %n{nicht}, dann ?AGENT ist faehig %n{nicht}, in der Rolle agent VotingFn ?ELECTION zu tun enthaelt Informationen ueber UniversalSuffrageLaw
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1160-1174	Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE wenn ?VOTER ist der buerger von ?POLITY und suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) und das alter von ?VOTER ist ?AGE YearDuration(s) %n{nicht} und ?AGE ist groesserAlsOderGleich ?VOTINGAGE %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?POLITY %n{nicht}, dann es gibt ?VOTING um ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht} enthaelt Informationen ueber CompulsorySuffrageLaw
(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}
(exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix)))	Medicine.kif 4566-4569	Es gibt Process um Process ist ein fall von FilmMaking %n{nicht} und Process ist der agent von Netflix %n{nicht}

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: