IntentionalProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IntentionalProcess ChineseLanguage "这是一个对于执行的 Agent 有特定目的的 Process。")	chinese_format.kif 2930-2931
(documentation IntentionalProcess EnglishLanguage "A Process that has a specific purpose for the AutonomousAgent who performs it.")	Merge.kif 10488-10489
(documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に対し、固有の目的を持つ。")	japanese_format.kif 1681-1682
(subclass IntentionalProcess Process)	Merge.kif 10486-10486	IntentionalProcess ist eine teilkategorie von Process

appearance as argument number 2

(disjoint AutonomicProcess IntentionalProcess)	Merge.kif 10164-10164	AutonomicProcess ist dijunkt von IntentionalProcess %n{nicht}
(disjoint Dreaming IntentionalProcess)	Mid-level-ontology.kif 18235-18235	Dreaming ist dijunkt von IntentionalProcess %n{nicht}
(disjoint GeologicalProcess IntentionalProcess)	Merge.kif 11191-11191	GeologicalProcess ist dijunkt von IntentionalProcess %n{nicht}
(disjoint NaturalProcess IntentionalProcess)	Merge.kif 10484-10484	NaturalProcess ist dijunkt von IntentionalProcess %n{nicht}
(disjoint Trembling IntentionalProcess)	Mid-level-ontology.kif 19983-19983	Trembling ist dijunkt von IntentionalProcess %n{nicht}
(disjoint WeatherProcess IntentionalProcess)	Merge.kif 11198-11198	WeatherProcess ist dijunkt von IntentionalProcess %n{nicht}
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 422-422	Die werte die StartFn zurueckgibt sind teilkategorien von IntentionalProcess
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 436-436	Die werte die StopFn zurueckgibt sind teilkategorien von IntentionalProcess
(subclass Ambulating IntentionalProcess)	Merge.kif 11139-11139	Ambulating ist eine teilkategorie von IntentionalProcess
(subclass Ceremony IntentionalProcess)	Mid-level-ontology.kif 7920-7920	Ceremony ist eine teilkategorie von IntentionalProcess
(subclass Commenting IntentionalProcess)	Mid-level-ontology.kif 15882-15882	Commenting ist eine teilkategorie von IntentionalProcess
(subclass ContentDevelopment IntentionalProcess)	Merge.kif 12671-12671	ContentDevelopment ist eine teilkategorie von IntentionalProcess
(subclass CriminalAction IntentionalProcess)	Mid-level-ontology.kif 13859-13859	CriminalAction ist eine teilkategorie von IntentionalProcess
(subclass DeployingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 675-675	DeployingWeaponOfMassDestruction ist eine teilkategorie von IntentionalProcess
(subclass Designing IntentionalProcess)	Merge.kif 10850-10850	Designing ist eine teilkategorie von IntentionalProcess
(subclass Digging IntentionalProcess)	Mid-level-ontology.kif 18007-18007	Digging ist eine teilkategorie von IntentionalProcess
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess)	WMD.kif 731-731	DismantlingWeaponOfMassDestruction ist eine teilkategorie von IntentionalProcess
(subclass Dodging IntentionalProcess)	Mid-level-ontology.kif 446-446	Dodging ist eine teilkategorie von IntentionalProcess
(subclass Drilling IntentionalProcess)	Mid-level-ontology.kif 18094-18094	Drilling ist eine teilkategorie von IntentionalProcess
(subclass Ducking IntentionalProcess)	Mid-level-ontology.kif 13118-13118	Ducking ist eine teilkategorie von IntentionalProcess
(subclass EngineersSubprocess IntentionalProcess)	engineering.kif 1197-1197	EngineersSubprocess ist eine teilkategorie von IntentionalProcess
(subclass Evacuation IntentionalProcess)	MilitaryProcesses.kif 2489-2489	Evacuation ist eine teilkategorie von IntentionalProcess
(subclass Guiding IntentionalProcess)	Merge.kif 11607-11607	Guiding ist eine teilkategorie von IntentionalProcess
(subclass ITProcess IntentionalProcess)	engineering.kif 1310-1310	ITProcess ist eine teilkategorie von IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10512-10512	IntentionalPsychologicalProcess ist eine teilkategorie von IntentionalProcess

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain OccupationFn 1 IntentionalProcess)	Mid-level-ontology.kif 20488-20488	Die Zahl 1 Argument von OccupationFn ist ein fall von IntentionalProcess %n{nicht}
(domainSubclass FailureFn 1 IntentionalProcess)	ComputingBrands.kif 4514-4514	Die Zahl 1 Argument von FailureFn ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass distrusts 3 IntentionalProcess)	Law.kif 369-369	Die Zahl 3 Argument von distrusts ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass enjoys 2 IntentionalProcess)	Mid-level-ontology.kif 7369-7369	Die Zahl 2 Argument von enjoys ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass hasOccupation 2 IntentionalProcess)	Mid-level-ontology.kif 21365-21365	Die Zahl 2 Argument von hasOccupation ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass industryServiceType 2 IntentionalProcess)	Economy.kif 1643-1643	Die Zahl 2 Argument von industryServiceType ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass organizationServiceType 2 IntentionalProcess)	Economy.kif 1661-1661	Die Zahl 2 Argument von organizationServiceType ist eine teilkategorie von IntentionalProcess %n{nicht}
(domainSubclass trusts 3 IntentionalProcess)	Law.kif 358-358	Die Zahl 3 Argument von trusts ist eine teilkategorie von IntentionalProcess %n{nicht}

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 (instance ?M Muscle) (instance ?BM BodyMotion) (instrument ?BM ?M) (instance ?BM IntentionalProcess)) (instance ?M VoluntaryMuscle))	Mid-level-ontology.kif 10404-10410	Wenn Object ist ein fall von Muscle %n{nicht} und Process ist ein fall von BodyMotion %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht}, dann Object ist ein fall von VoluntaryMuscle %n{nicht}
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT)))	Merge.kif 10491-10496	Wenn Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Formula um Process hat Zweck von Formula fuer AutonomousAgent %n{nicht}
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 10505-10510	Wenn Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Animal %n{nicht}, dann Awake ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A)))))	Law.kif 526-540	Wenn Process ist ein fall von IntentionalProcess %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und recordForAgreement ContentBearingPhysical and Agreement und Legal ist ein attribut von Agreement %n{nicht}, dann es gibt Process, Process,, , Process1, and und Process2 um Process ist ein fall von Offering %n{nicht} und Process ist ein fall von ReachingAgreement %n{nicht} und Process umfasst einen hinweis auf Agreement und Process umfasst einen hinweis auf Agreement und Process ist der agent von Process1 %n{nicht} und Process ist der agent von Process2 %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT))	Merge.kif 2732-2738	Wenn Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und CognitiveAgent ist ein fall von CognitiveAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann CognitiveAgent ist an ** Entity interessiert %n{nicht}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N2 YearDuration)) (greaterThan ?N2 ?N))))	Law.kif 573-588	Wenn partyToAgreement CognitiveAgent and Agreement und Process ist ein fall von IntentionalProcess %n{nicht} und Process befindet sich an %n{nicht} und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und ageOfMajorityForProcess RealNumber YearDuration(s), GeopoliticalArea and Process und ContentBearingPhysical ist ein resultat von Process %n{nicht} und recordForAgreement ContentBearingPhysical and Agreement und Legal ist ein attribut von Agreement %n{nicht}, dann das alter von CognitiveAgent ist RealNumber2 YearDuration(s) %n{nicht} und RealNumber2 ist groesserAls RealNumber %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC Nation) (located ?PROC ?LOC2) (instance ?LOC2 GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N2 YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N3 YearDuration)) (greaterThan ?N3 ?N2)))) (attribute ?AG Legal))	Law.kif 554-571	Wenn partyToAgreement CognitiveAgent and Agreement und Process ist ein fall von IntentionalProcess %n{nicht} und Process befindet sich an %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} und Process befindet sich an %n{nicht} und GeopoliticalArea2 ist ein fall von GeopoliticalArea %n{nicht} und ageOfMajorityForProcess RealNumber YearDuration(s), GeopoliticalArea and Process und ContentBearingPhysical ist ein resultat von Process %n{nicht} und recordForAgreement ContentBearingPhysical and Agreement und das alter von CognitiveAgent ist entity YearDuration(s) %n{nicht} und entity ist groesserAls RealNumber %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann Legal ist ein attribut von ** Agreement %n{nicht}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober)))	Law.kif 515-524	Wenn partyToAgreement CognitiveAgent and Agreement und Process ist ein fall von IntentionalProcess %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und recordForAgreement ContentBearingPhysical and Agreement und Legal ist ein attribut von Agreement %n{nicht}, dann Sober ist ein attribut von CognitiveAgent %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility))	Mid-level-ontology.kif 14149-14163	Wenn Agreement hat ein attribut Contract %n{nicht} und partyToAgreement CognitiveAgent and Agreement und partyToAgreement CognitiveAgent and Agreement und Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process druekt den Inhalt von Proposition aus und consistent Proposition and Agreement, dann die Aussage es gibt entity um entity ist ein fall von LegalAction %n{nicht} und plaintiff entity and CognitiveAgent und defendant entity and CognitiveAgent hat die modale Kraft von Possibility
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))	Merge.kif 10498-10503	Wenn Process ist ein fall von IntentionalProcess %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent ist ein fall von CognitiveAgent %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht}

consequent

(=> (and (holdsDuring ?T (attribute ?H AVPUVerbalStatus)) (instance ?S Speaking) (destination ?S ?H) (during (WhenFn ?S) ?T)) (exists (?IA) (and (instance ?IA IntentionalProcess) (agent ?IA ?H) (during (WhenFn ?IA) ?T) (causes ?S ?IA))))	Medicine.kif 6447-6459	Wenn AVPUVerbalStatus ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Speaking %n{nicht} und Process endet an AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Process verursacht Process %n{nicht}
(=> (and (instance ?A AutonomousAgent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30242-30253	Wenn AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Motionless ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt nicht Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend ** TimeInterval %n{nicht}
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12046-12062	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Set %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity um entity ist ein element von Entity %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12014-12026	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Set ist ein fall von Set %n{nicht} und Set ist ein patient von Process %n{nicht} und Entity ist ein element von Set %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass es gibt entity um Entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von IntentionalProcess und CognitiveAgent ist faehig %n{nicht}, in der Rolle agent entity zu tun
(=> (and (reservationStart ?TIME1 ?R) (reservationEnd ?TIME2 ?R) (reservingEntity ?CUST ?R) (fulfillingEntity ?AGENT ?R)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (destination ?P ?CUST)))) Likely))	Dining.kif 711-724	Wenn reservationStart TimePoint and Reservation und reservationEnd TimePoint and Reservation und reservingEntity AutonomousAgent and Reservation und fulfillingEntity AutonomousAgent and Reservation, dann die Aussage es gibt entity um entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity endet an AutonomousAgent %n{nicht} haelt waehrend abstand zwischen TimePoint und TimePoint %n{nicht} hat die modale Kraft von Likely
(=> (attribute ?A Bored) (exists (?DO) (and (instance ?DO IntentionalProcess) (agent ?DO ?A) (holdsDuring (WhenFn ?DO) (desires ?A (not (agent ?DO ?A)))))))	Mid-level-ontology.kif 19828-19837	Wenn Bored ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent wuenscht Process ist der agent von AutonomousAgent nicht %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (attribute ?X TourArrangementAndReservationServices) (hasPurpose ?X (exists (?PROC ?RESERVE) (and (instance ?RESERVE TourReservation) (instance ?PROC IntentionalProcess) (agent ?PROC ?X) (or (result ?PROC ?RESERVE) (patient ?PROC ?RESERVE))))))	Hotel.kif 2336-2346	Wenn TourArrangementAndReservationServices ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von TourReservation %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von Object %n{nicht} und entity ist ein resultat von entity %n{nicht} oder entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (attribute ?X TravelArrangementAndReservationServices) (hasPurpose ?X (exists (?PROC ?RESERVE) (and (instance ?RESERVE TravelReservation) (instance ?PROC IntentionalProcess) (agent ?PROC ?X) (or (result ?PROC ?RESERVE) (patient ?PROC ?RESERVE))))))	naics.kif 10451-10461	Wenn TravelArrangementAndReservationServices ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von TravelReservation %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von Object %n{nicht} und entity ist ein resultat von entity %n{nicht} oder entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (contestEntry ?ENT ?AGENT ?CONT) (exists (?P ?J) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?ENT) (instance ?J Judging) (patient ?J ?ENT))))	Music.kif 1084-1092	Wenn contestEntry Entity, CognitiveAgent and Contest, dann es gibt Process und Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Process ist ein fall von Judging %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (equal ?S (RemixFn ?M ?A)) (exists (?P) (and (instance ?P IntentionalProcess) (patient ?P ?M) (agent ?P ?A) (result ?P ?S) (not (equal ?S ?M)) (not (copy ?S ?M)))))	Music.kif 889-898	Wenn MusicRecording ist gleich RemixFn MusicRecording and CognitiveAgent %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und MusicRecording ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und MusicRecording ist ein resultat von Process %n{nicht} und MusicRecording ist gleich MusicRecording nicht und nicht MusicRecording ist eine genaue kopie von ** MusicRecording
(=> (holdsDuring ?T (attribute ?H Coma)) (not (exists (?IP) (and (instance ?IP IntentionalProcess) (agent ?IP ?H) (during ?T (WhenFn ?IP))))))	Medicine.kif 5215-5224	Wenn Coma ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt nicht Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (holdsDuring ?T (attribute ?H Conscious)) (holdsDuring ?T (capability IntentionalProcess agent ?H)))	Medicine.kif 441-445	Wenn Conscious ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann entity ist faehig %n{nicht}, in der Rolle agent IntentionalProcess zu tun haelt waehrend TimePosition %n{nicht}
(=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT))))	Merge.kif 2740-2746	Wenn CognitiveAgent ist an Entity interessiert %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (instance ?ORGANISM GeneticallyEngineeredOrganism) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?ORGANISM))))	WMD.kif 239-244	Wenn Entity ist ein fall von GeneticallyEngineeredOrganism %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM))))	Food.kif 2832-2839	Wenn Entity ist ein fall von ProcessedMilk %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein fall von CowMilk %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance))))	Merge.kif 1072-1078	Wenn Entity ist ein fall von SyntheticSubstance %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Substance %n{nicht}
(=> (instance ?SVC WakeUpService) (hasPurpose ?SVC (exists (?WAKE ?CUST ?AGENT ?PROC) (and (agent ?SVC ?AGENT) (experiencer ?SVC ?CUST) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT) (experiencer ?PROC ?CUST) (instance ?WAKE WakingUp) (experiencer ?WAKE ?CUST) (result ?PROC ?WAKE)))))	Hotel.kif 1994-2006	Wenn Physical ist ein fall von WakeUpService %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um Physical ist der agent von entity %n{nicht} und entity erfaehrt Physical %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von entity %n{nicht} und entity erfaehrt entity %n{nicht} und entity ist ein fall von WakingUp %n{nicht} und entity erfaehrt entity %n{nicht} und entity ist ein resultat von ** entity %n{nicht} %n{nicht}
(=> (instance ?X AudioRecorder) (hasPurpose ?X (exists (?RS ?RECORD ?PROC) (and (instance ?RS RadiatingSound) (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (patient ?PROC ?RS) (result ?PROC ?RECORD) (instance ?RECORD AudioRecording)))))	Mid-level-ontology.kif 26250-26260	Wenn Physical ist ein fall von AudioRecorder %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von RadiatingSound %n{nicht} und entity ist ein fall von IntentionalProcess %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von AudioRecording %n{nicht} %n{nicht}
(=> (instance ?X OperatorAssistedTelephoneCommunication) (exists (?ORIGIN ?DEST ?OPERATOR) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (instance ?OPERATOR Human) (hasPurpose ?OPERATOR (exists (?PROC) (and (instance ?PROC IntentionalProcess) (agent ?PROC ?OPERATOR) (subProcess ?PROC ?X) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (modalAttribute (exists (?COMM) (and (instance ?COMM Communication) (origin ?COMM ?ORIGIN) (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 27047-27069	Wenn Process ist ein fall von OperatorAssistedTelephoneCommunication %n{nicht}, dann es gibt Object, Entity, and und Physical um Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Physical ist ein fall von Human %n{nicht} und Physical hat Zweck von es gibt entity um entity ist ein fall von IntentionalProcess %n{nicht} und entity ist der agent von Physical %n{nicht} und entity ist ein subProzess von Process und die Aussage es gibt entity um entity ist ein fall von Communication %n{nicht} und entity beginnet an Object %n{nicht} und entity endet an Entity %n{nicht} hat die modale Kraft von Possibility haelt waehrend sofort nach die zeit des Bestehens von entity %n{nicht} %n{nicht}
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X))))	Food.kif 319-324	Wenn Entity ist ein fall von PreparedFood %n{nicht}, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?X TapeRecorder) (hasPurpose ?X (exists (?AUDIO ?TAPE ?PROC) (and (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (result ?PROC ?AUDIO) (instance ?AUDIO AudioRecording) (instance ?TAPE RecordingTape) (holdsDuring ?PROC (connected ?TAPE ?X)) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn (part ?AUDIO ?TAPE))))))))	Media.kif 1336-1350	Wenn Physical ist ein fall von TapeRecorder %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von IntentionalProcess %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von AudioRecording %n{nicht} und entity ist ein fall von RecordingTape %n{nicht} und entity wird an Physical angeschlossen haelt waehrend entity %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity ist ein teil von entity %n{nicht} %n{nicht} %n{nicht}
(=> (instance ?X UniformClothing) (exists (?PROC ?DESIGN) (and (instance ?PROC IntentionalProcess) (result ?PROC ?DESIGN) (represents ?X ?DESIGN))))	Mid-level-ontology.kif 26695-26701	Wenn Entity ist ein fall von UniformClothing %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von IntentionalProcess %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity drueckt Entity aus
(=> (issuedBy ?CERT ?AGENT) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?CERT))))	Mid-level-ontology.kif 16502-16508	Wenn issuedBy Certificate and CognitiveAgent, dann es gibt Process um Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Certificate ist ein resultat von ** Process %n{nicht}
(=> (musicChartBy ?CHART ?AGENT) (exists (?P ?C) (and (instance ?C ?CHART) (instance ?P IntentionalProcess) (agent ?P ?AGENT) (result ?P ?C))))	Music.kif 1165-1172	Wenn musicChartBy MusicChart and CognitiveAgent, dann es gibt Process und Entity um Entity ist ein fall von MusicChart %n{nicht} und Process ist ein fall von IntentionalProcess %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Entity ist ein resultat von Process %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: