Process - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Process ChineseLanguage " 这个类别属于发生的事物，它具有时间的部分或阶段。例子包括：历时颇长的事件如足球比赛或赛跑，行动如追踪、阅读和及各种生物过程。它的形式定义是：任何在某时间发生而又不是 Object 的存在着。注：Process 内可以有 Object 参加者介入，例如球赛的球员。四维的知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。")	chinese_format.kif 1698-1701
(documentation Process EnglishLanguage "The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.")	Merge.kif 1623-1631
(documentation Process JapaneseLanguage "クラスの物事で、発生したり一時的なパーツまたはステージがあるもの。例として、フットボールの試合やレースなどの拡張イベント、Pursuing や Reading のようなアクション、生物学的プロセスなど。正式な定義: 時間内に発生するが、Object ではない任意のもの。　注：Process は、フットボールの試合での選手のように、その「内側」参加者である Object を持っているかもしれない。 4Dオントロジーでは、Process は時間軸にほぼ垂直な時間的な段階に分割すると考えられている空間的な範囲である。")	japanese_format.kif 296-301
(externalImage Process "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG")	pictureList.kif 6794-6794
(subclass Process Physical)	Merge.kif 1622-1622	Process ist eine teilkategorie von Physical

appearance as argument number 2

(instance SEO Process)	UXExperimentalTerms.kif 2375-2375	SEO ist ein fall von Process %n{nicht}
(range AbortedFn Process)	MilitaryProcesses.kif 2413-2413	bildbereich von AbortedFn ist ein fall von Process {nicht}
(rangeSubclass FailureFn Process)	ComputingBrands.kif 4515-4515	Die werte die FailureFn zurueckgibt sind teilkategorien von Process
(rangeSubclass OperatingFn Process)	Mid-level-ontology.kif 17912-17912	Die werte die OperatingFn zurueckgibt sind teilkategorien von Process
(subclass AddToCart Process)	UXExperimentalTerms.kif 1303-1303	AddToCart ist eine teilkategorie von Process
(subclass AgentPatientProcess Process)	Media.kif 164-164	AgentPatientProcess ist eine teilkategorie von Process
(subclass BreakingRecord Process)	Mid-level-ontology.kif 30050-30050	BreakingRecord ist eine teilkategorie von Process
(subclass CausingHappiness Process)	Mid-level-ontology.kif 23821-23821	CausingHappiness ist eine teilkategorie von Process
(subclass CausingUnhappiness Process)	Mid-level-ontology.kif 23842-23842	CausingUnhappiness ist eine teilkategorie von Process
(subclass Checkout Process)	UXExperimentalTerms.kif 1457-1457	Checkout ist eine teilkategorie von Process
(subclass ContentBearingProcess Process)	Merge.kif 1319-1319	ContentBearingProcess ist eine teilkategorie von Process
(subclass DualObjectProcess Process)	Merge.kif 1633-1633	DualObjectProcess ist eine teilkategorie von Process
(subclass IntentionalProcess Process)	Merge.kif 10520-10520	IntentionalProcess ist eine teilkategorie von Process
(subclass InternalChange Process)	Merge.kif 12638-12638	InternalChange ist eine teilkategorie von Process
(subclass LargeGroupProcess Process)	Mid-level-ontology.kif 7955-7955	LargeGroupProcess ist eine teilkategorie von Process
(subclass Motion Process)	Merge.kif 11047-11047	Motion ist eine teilkategorie von Process
(subclass NaturalProcess Process)	Merge.kif 10516-10516	NaturalProcess ist eine teilkategorie von Process
(subclass PowerGeneration Process)	Economy.kif 2063-2063	PowerGeneration ist eine teilkategorie von Process
(subclass SingleAgentProcess Process)	Merge.kif 1646-1646	SingleAgentProcess ist eine teilkategorie von Process
(subclass WatchItem Process)	UXExperimentalTerms.kif 1587-1587	WatchItem ist eine teilkategorie von Process
(termFormat ChineseLanguage Process "过程")	chinese_format.kif 851-851
(termFormat EnglishLanguage Process "process")	english_format.kif 904-904
(termFormat FrenchLanguage Process "processus")	french_format.kif 527-527
(termFormat Hindi Process "prakriyaa")	terms-hindi.txt 58-58

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain AbortedFn 2 Process)	MilitaryProcesses.kif 2412-2412	Die Zahl 2 Argument von AbortedFn ist ein fall von Process %n{nicht}
(domain StartFn 1 Process)	Mid-level-ontology.kif 414-414	Die Zahl 1 Argument von StartFn ist ein fall von Process %n{nicht}
(domain StopFn 1 Process)	Mid-level-ontology.kif 428-428	Die Zahl 1 Argument von StopFn ist ein fall von Process %n{nicht}
(domain ageOfMajorityForProcess 3 Process)	Law.kif 545-545	Die Zahl 3 Argument von ageOfMajorityForProcess ist ein fall von Process %n{nicht}
(domain agent 1 Process)	Merge.kif 2433-2433	Die Zahl 1 Argument von agent ist ein fall von Process %n{nicht}
(domain benefits 1 Process)	Mid-level-ontology.kif 22964-22964	Die Zahl 1 Argument von benefits ist ein fall von Process %n{nicht}
(domain causes 1 Process)	Merge.kif 3779-3779	Die Zahl 1 Argument von verursacht ist ein fall von Process %n{nicht}
(domain causes 2 Process)	Merge.kif 3780-3780	Die Zahl 2 Argument von verursacht ist ein fall von Process %n{nicht}
(domain commentator 2 Process)	Mid-level-ontology.kif 15931-15931	Die Zahl 2 Argument von commentator ist ein fall von Process %n{nicht}
(domain conversionEvent 2 Process)	UXExperimentalTerms.kif 2826-2826	Die Zahl 2 Argument von conversionEvent ist ein fall von Process %n{nicht}
(domain coordinates 1 Process)	MilitaryProcesses.kif 1696-1696	Die Zahl 1 Argument von coordinates ist ein fall von Process %n{nicht}
(domain coordinates 2 Process)	MilitaryProcesses.kif 1697-1697	Die Zahl 2 Argument von coordinates ist ein fall von Process %n{nicht}
(domain destination 1 Process)	Merge.kif 2444-2444	Die Zahl 1 Argument von bestimmungsort ist ein fall von Process %n{nicht}
(domain direction 1 Process)	Merge.kif 17009-17009	Die Zahl 1 Argument von direction ist ein fall von Process %n{nicht}
(domain eventPartlyLocated 1 Process)	Merge.kif 4097-4097	Die Zahl 1 Argument von eventPartlyLocated ist ein fall von Process %n{nicht}
(domain exclusiveEvent 2 Process)	UXExperimentalTerms.kif 4333-4333	Die Zahl 2 Argument von exclusiveEvent ist ein fall von Process %n{nicht}
(domain experiencer 1 Process)	Merge.kif 2458-2458	Die Zahl 1 Argument von experiencer ist ein fall von Process %n{nicht}
(domain experimentalControlProcess 2 Process)	UXExperimentalTerms.kif 3825-3825	Die Zahl 2 Argument von experimentalControlProcess ist ein fall von Process %n{nicht}
(domain experimentalVariableProcess 2 Process)	UXExperimentalTerms.kif 3872-3872	Die Zahl 2 Argument von experimentalVariableProcess ist ein fall von Process %n{nicht}
(domain hinders 1 Process)	Merge.kif 4392-4392	Die Zahl 1 Argument von hinders ist ein fall von Process %n{nicht}
(domain instrument 1 Process)	Merge.kif 2471-2471	Die Zahl 1 Argument von instrument ist ein fall von Process %n{nicht}
(domain involvedInEvent 1 Process)	Merge.kif 2414-2414	Die Zahl 1 Argument von involvedInEvent ist ein fall von Process %n{nicht}
(domain judge 1 Process)	Law.kif 193-193	Die Zahl 1 Argument von judge ist ein fall von Process %n{nicht}
(domain manner 1 Process)	Merge.kif 1732-1732	Die Zahl 1 Argument von weise ist ein fall von Process %n{nicht}
(domain origin 1 Process)	Merge.kif 2482-2482	Die Zahl 1 Argument von origin ist ein fall von Process %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23304-23310	Wenn CaseRole Process and Object und CaseRole ist ein fall von CaseRole %n{nicht} und Process ist ein fall von Process %n{nicht} und Object ist ein fall von Object %n{nicht}, dann playsRoleInEvent Object, CaseRole and Process
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	Wenn customer CognitiveAgent and AutonomousAgent und propertyAmenity AutonomousAgent and Physical und Physical ist eine teilkategorie von Process, dann die Aussage es gibt entity, entity, and und entity um entity ist ein element von eigentum von AutonomousAgent %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und entity ist ein fall von Physical %n{nicht} oder entity ist ein fall von Physical %n{nicht} und entity ist ein subProzess von entity und ** entity befindet sich an %n{nicht} hat die modale Kraft von Possibility
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 18428-18433	Wenn Organization ist gleich DepartmentOfPreventingFn Organization and Physical %n{nicht} und Physical ist eine teilkategorie von Process und subOrganization Organization and Organization, dann Organization hemmt ** Physical
(=> (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
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))	Hotel.kif 364-378	Wenn freeRoomAmenity HotelUnit and Physical und Physical ist eine teilkategorie von Process und TemporaryResidence ist ein fall von HotelUnit %n{nicht} und stays Human and TemporaryResidence und TemporaryResidence ist ein element von eigentum von AutonomousAgent %n{nicht} und Human ist ein patient von Process %n{nicht} und Process ist ein fall von Physical %n{nicht} oder Process ist ein fall von Physical %n{nicht} und Process ist ein subProzess von Process und Process befindet sich an %n{nicht}, dann price Process, 0.0 UnitedStatesDollar(s) and ** Human
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 15914-15927	Wenn Process ist ein fall von Commenting %n{nicht} und Entity ist ein fall von Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt AutonomousAgent, Process, and und Process um AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Process ist ein fall von Speaking %n{nicht} und Process ist ein fall von Looking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf ** Entity
(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R))))	Mid-level-ontology.kif 2539-2547	Wenn Object ist ein fall von ElectricDevice %n{nicht} und Process ist ein fall von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann es gibt Object um Object ist ein fall von Electricity %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht}
(=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4357-4374	Wenn Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und exclusiveEvent Experimenting and Process, dann es gibt ExperimentingERIMENTER um ExperimentingERIMENTER ist ein fall von AutonomousAgent %n{nicht} und experimenter Experimenting and ExperimentingERIMENTER und ExperimentingERIMENTER glaubt %n{nicht}, dass die Aussage Process verursacht ** Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?P Process) (measure ?P ?Q)) (instance ?Q TimeDependentQuantity))	Merge.kif 7511-7515	Wenn Physical ist ein fall von Process %n{nicht} und das mass von Physical ist PhysicalQuantity %n{nicht}, dann PhysicalQuantity ist ein fall von TimeDependentQuantity %n{nicht}
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC))))))	Military.kif 32-44	Wenn Proposition ist ein fall von Plan %n{nicht} und Physical ist ein fall von Process %n{nicht} und Proposition drueckt Physical aus, dann es gibt PropositionNING und ContentBearingPhysical um PropositionNING ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingPhysical %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und ContentBearingPhysical ist ein resultat von PropositionNING %n{nicht} und der anfang von die zeit des Bestehens von PropositionNING geschieht frueh als der anfang von die zeit des Bestehens von Physical %n{nicht} und das ende von die zeit des Bestehens von PropositionNING geschieht frueh als das ende von die zeit des Bestehens von ** Physical %n{nicht}
(=> (and (instance ?PROC Process) (eventLocated ?PROC ?LOC) (subProcess ?SUB ?PROC)) (eventLocated ?SUB ?LOC))	Mid-level-ontology.kif 23558-23563	Wenn Process ist ein fall von Process %n{nicht} und eventLocated Process and Object und Process ist ein subProzess von Process, dann eventLocated Process and Object
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	Wenn TimeInterval ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval_CLASS ist eine teilkategorie von Process und AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und AccessingWebPage ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend AccessingWebPage %n{nicht} und Physical ist ein fall von TimeInterval %n{nicht} und es gibt nicht TimeInterval2 um TimeInterval2 ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval2 ist der agent von AutonomousAgent %n{nicht} und TimeInterval2 geschieht waehrend AccessingWebPage %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval2 geschieht vor der anfang von die zeit des Bestehens von TimeInterval %n{nicht} und der anfang von die zeit des Bestehens von AccessingWebPage ist gleich der anfang von die zeit des Bestehens von Physical %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval ist gleich das ende von die zeit des Bestehens von Physical %n{nicht}, dann TTFxFn TimeInterval_CLASS and AccessingWebPage ist gleich Physical %n{nicht}
(=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6))	Geography.kif 2561-2567	Wenn Process ist ein fall von Process %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein fall von Water %n{nicht} und das mass von Physical ist RealNumber PHValue(s) %n{nicht}, dann RealNumber ist kleinerAls 5.6 %n{nicht}
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2))	Merge.kif 3911-3917	Wenn CaseRole ist ein fall von CaseRole %n{nicht} und CaseRole Entity and Object und Entity ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process, dann Object ist faehig %n{nicht}, in der Rolle CaseRole Process zu tun
(=> (and (instance ?TEST MultivariateTest) (subProcess ?EXPERIMENT1 ?TEST) (subProcess ?EXPERIMENT2 ?TEST) (instance ?EXPERIMENT1 Experimenting) (instance ?EXPERIMENT2 Experimenting) (instance ?VARIABLE1 Process) (instance ?VARIABLE2 Process) (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1) (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2)) (exists (?PROCESS) (and (instance ?PROCESS Process) (subProcess ?VARIABLE1 ?PROCESS) (subProcess ?VARIABLE2 ?PROCESS) (not (equal ?VARIABLE1 ?VARIABLE2)))))	UXExperimentalTerms.kif 4501-4518	Wenn Process ist ein fall von MultivariateTest %n{nicht} und Experimenting ist ein subProzess von Process und Experimenting ist ein subProzess von Process und Experimenting ist ein fall von Experimenting %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist ein fall von Process %n{nicht} und experimentalVariableProcess Experimenting and Process und experimentalVariableProcess Experimenting and Process, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und Process ist gleich Process nicht
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 3851-3862	Wenn Process ist ein fall von Process %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und experimentalVariableProcess Experimenting and Process, dann es gibt entity_GROUP um entity_GROUP ist ein fall von Collection %n{nicht} und Process ist ein Mitglied von entity_GROUP %n{nicht} und controlGroup entity_GROUP and ** Experimenting
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 3968-3979	Wenn Process ist ein fall von Process %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und experimentalVariableProcess Experimenting and Process, dann es gibt entity_GROUP um entity_GROUP ist ein fall von Collection %n{nicht} und Process ist ein Mitglied von entity_GROUP %n{nicht} und treatmentGroup entity_GROUP and ** Experimenting
(=> (and (instance ?VISITOR Human) (instance ?COLL Collection) (forall (?EXPERIMENT ?EVENT) (=> (exists (?CLASS) (and (instance ?EXPERIMENT Experimenting) (instance ?EVENT Process) (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (instance ?EVENT ?CLASS) (capability ?CLASS experiencer ?VISITOR))) (member ?EVENT ?COLL))) (=> (member ?PROC ?COLL) (and (instance ?PROC Process) (exists (?EXP ?PROCESS) (and (instance ?EXP Experimenting) (member ?PROC (QualifyingEventsFn ?EXP)) (instance ?PROC ?PROCESS) (capability ?PROCESS experiencer ?VISITOR)))))) (equal (QualifiedTreatmentsFn ?VISITOR) ?COLL))	UXExperimentalTerms.kif 4241-4267	Wenn Human ist ein fall von Human %n{nicht} und Collection ist ein fall von Collection %n{nicht} und fuer alle Experimenting und Physical wenn es gibt Process um Experimenting ist ein fall von Experimenting %n{nicht} und Physical ist ein fall von Process %n{nicht} und Physical ist ein Mitglied von QualifyingEventsFn Experimenting %n{nicht} und Physical ist ein fall von Process %n{nicht} und Human ist faehig %n{nicht}, in der Rolle experiencer Process zu tun, dann Physical ist ein Mitglied von Collection %n{nicht} und wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von Process %n{nicht} und es gibt Experimenting und PhysicalESS um Experimenting ist ein fall von Experimenting %n{nicht} und Physical ist ein Mitglied von QualifyingEventsFn Experimenting %n{nicht} und Physical ist ein fall von PhysicalESS %n{nicht} und Human ist faehig %n{nicht}, in der Rolle experiencer PhysicalESS zu tun , dann QualifiedTreatmentsFn Human ist gleich Collection %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31348-31355	Wenn memberMeasure Set, MeasurementAttribute and TimeDuration und Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31357-31364	Wenn memberMeasure Class, Frequency and TimeDuration und Class ist ein fall von Class %n{nicht} und AutonomousAgent ist ein fall von Class %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Process)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA) (overlapsTemporally (WhenFn ?ITEM) (WhenFn ?AREA)))))	Geography.kif 2280-2290	Wenn naturalHazardTypeInArea GeographicArea and Physical und Physical ist eine teilkategorie von Process, dann es gibt Physical um Physical ist ein fall von Physical %n{nicht} und Physical befindet sich an %n{nicht} und die zeit des Bestehens von GeographicArea deckt sich mit die zeit des Bestehens von Physical %n{nicht}
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Object und Process ist ein fall von Process %n{nicht} und Process ist eine teilkategorie von Process und Entity ist ein fall von Entity %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann AutonomousAgent ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capability ?CLASS agent ?AGENT))	Catalog.kif 88-93	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Process, dann AutonomousAgent ist faehig %n{nicht}, in der Rolle agent Entity zu tun

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (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 (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	Wenn customer CognitiveAgent and AutonomousAgent und propertyAmenity AutonomousAgent and Physical und Physical ist eine teilkategorie von Object und Entity ist ein fall von Physical %n{nicht}, dann AutonomousAgent erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity um entity ist ein fall von Process %n{nicht} und Entity ist ein hilfmittel fuer entity %n{nicht} oder Entity ist ein instrument fuer entity %n{nicht} oder Entity ist ein patient von entity %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} oder CognitiveAgent erfaehrt ** entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	Wenn functionRoomAmenity HotelFunctionRoom and Physical und Entity ist ein fall von HotelFunctionRoom %n{nicht} und Entity ist ein element von eigentum von AutonomousAgent %n{nicht} und Process ist ein fall von Renting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Entity %n{nicht} und Physical ist eine teilkategorie von Object, dann die Aussage es gibt entity und entity um entity ist ein fall von Physical %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein hilfmittel fuer entity %n{nicht} oder entity ist ein instrument fuer entity %n{nicht} oder entity ist ein patient von entity %n{nicht} und entity ist der agent von Entity %n{nicht} oder Entity erfaehrt ** entity %n{nicht} hat die modale Kraft von Possibility
(=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (agent ?EV ?A)) (exists (?P) (and (instance ?P Process) (geographicSubregion ?OR (WhereFn ?P (BeginFn (WhenFn ?EV)))) (causes ?P ?EV) (believes ?A (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2567-2581	Wenn Process ist ein fall von Evacuation %n{nicht} und Process beginnet an GeographicArea %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann es gibt Process um Process ist ein fall von Process %n{nicht} und geographicSubregion GeographicArea and die Stelle wo Process an der anfang von die zeit des Bestehens von Process war und Process verursacht Process %n{nicht} und CognitiveAgent glaubt %n{nicht}, dass Dangerous ist ein attribut von ** Process %n{nicht}
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?SUBJECT Human) (experimentalSubject ?EXPERIMENT ?SUBJECT)) (exists (?PROCESS) (and (instance ?PROCESS Process) (experiencer ?PROCESS ?SUBJECT) (or (experimentalControlProcess ?EXPERIMENT ?PROCESS) (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))	UXExperimentalTerms.kif 3923-3934	Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Human ist ein fall von Human %n{nicht} und experimentalSubject Experimenting and Human, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Human erfaehrt Process %n{nicht} und experimentalControlProcess Experimenting and Process oder experimentalVariableProcess Experimenting and ** Process
(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3432-3461	Wenn WearableItem ist ein fall von HearingProtection %n{nicht} und Animal ist ein fall von Human %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und entity ist eine teilkategorie von die kategorie die entity beschreibt und entity verhindert das Auftreten von entity und WearableItem ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ)))))	Cars.kif 3374-3402	Wenn WearableItem ist ein fall von SafetyHarness %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und Animal ist ein patient von entity %n{nicht} und entity ist eine teilkategorie von die kategorie die entity beschreibt und entity verhindert das Auftreten von ** entity %n{nicht}
(=> (and (instance ?TEST MultivariateTest) (subProcess ?EXPERIMENT1 ?TEST) (subProcess ?EXPERIMENT2 ?TEST) (instance ?EXPERIMENT1 Experimenting) (instance ?EXPERIMENT2 Experimenting) (instance ?VARIABLE1 Process) (instance ?VARIABLE2 Process) (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1) (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2)) (exists (?PROCESS) (and (instance ?PROCESS Process) (subProcess ?VARIABLE1 ?PROCESS) (subProcess ?VARIABLE2 ?PROCESS) (not (equal ?VARIABLE1 ?VARIABLE2)))))	UXExperimentalTerms.kif 4501-4518	Wenn Process ist ein fall von MultivariateTest %n{nicht} und Experimenting ist ein subProzess von Process und Experimenting ist ein subProzess von Process und Experimenting ist ein fall von Experimenting %n{nicht} und Experimenting ist ein fall von Experimenting %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist ein fall von Process %n{nicht} und experimentalVariableProcess Experimenting and Process und experimentalVariableProcess Experimenting and Process, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und Process ist gleich Process nicht
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 280-296	Wenn ContentBearingPhysical ist ein fall von DeathCertificate %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt ProcessAY, entity,, , entity, and und entityROC um deathdate AutonomousAgent and ProcessAY und ProcessAY ist ein fall von Day %n{nicht} und deathplace AutonomousAgent and entity und entity ist ein fall von GeographicArea %n{nicht} und entity drueckt AutonomousAgent aus und entity ist ein fall von Name %n{nicht} und entityROC verursacht Process %n{nicht} und entityROC ist ein fall von Process %n{nicht}
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30054-30084	Wenn Process ist ein fall von BreakingRecord %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Set, Class,, , Process,, , TimePoint,, , CaseRole,, , Object, and und Entity um Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Class ist eine teilkategorie von Process und Object ist ein fall von Region %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und Entity ist ein fall von Quantity %n{nicht} und Process ist ein fall von Class %n{nicht} und Process umfasst einen hinweis auf Entity und Entity umfasst einen hinweis auf Process und playsRoleInEvent AutonomousAgent, CaseRole and Process und eventLocated Process and Object und es gibt nicht Entity und Entity um Entity ist ein fall von Set %n{nicht} und Entity ist gleich AutonomousAgent nicht und Entity ist ein fall von Class %n{nicht} und playsRoleInEvent Entity, CaseRole and Entity und eventLocated Entity and Object haelt waehrend abstand zwischen TimePoint und das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL))))))))))	Cars.kif 3516-3537	Wenn WearableItem ist ein fall von Respirator %n{nicht} und Animal ist ein fall von Animal %n{nicht} und wears Animal and WearableItem, dann WearableItem hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und WearableItem ist ein instrument fuer entity %n{nicht} und entity verhindert das Auftreten von entity und entity ist eine teilkategorie von die kategorie die ** entity beschreibt %n{nicht}
(=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL))))))	Mid-level-ontology.kif 27006-27032	Wenn Physical ist ein fall von SurveillanceSystem %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Camera %n{nicht} und Collection befindet sich an %n{nicht} und Object ist gleich Object nicht und Collection ist ein fall von VideoDisplay %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und eventLocated entity and Object und entity drueckt entity aus und Camera ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von RadiatingLight %n{nicht} und Collection ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und der anfang von entity geschieht vor der anfang von entity %n{nicht} und der anfang von entity geschieht vor der anfang von ** entity %n{nicht} %n{nicht}
(=> (and (issuedBy ?TICKET ?AGENT) (instance ?TICKET Ticket) (possesses ?CUST ?TICKET)) (confersNorm ?AGENT (exists (?T) (holdsDuring ?T (exists (?P) (and (instance ?P Process) (agent ?P ?AGENT) (experiencer ?P ?CUST))))) Permission))	Mid-level-ontology.kif 16569-16581	Wenn issuedBy Certificate and CognitiveAgent und Certificate ist ein fall von Ticket %n{nicht} und AutonomousAgent besitzt Certificate %n{nicht}, dann confersNorm CognitiveAgent, es gibt entity um es gibt entity um entity ist ein fall von Process %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und AutonomousAgent erfaehrt entity %n{nicht} haelt waehrend ** entity %n{nicht} and Permission
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31348-31355	Wenn memberMeasure Set, MeasurementAttribute and TimeDuration und Set ist ein fall von Set %n{nicht} und AutonomousAgent ist ein element von Set %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31357-31364	Wenn memberMeasure Class, Frequency and TimeDuration und Class ist ein fall von Class %n{nicht} und AutonomousAgent ist ein fall von Class %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (attribute ?H NewsReporter) (hasPurpose ?H (exists (?EV ?T ?NEWS) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (instance ?T ?NEWS) (or (subclass ?NEWS Newspaper) (subclass ?NEWS NewsProgram)) (authors ?H ?NEWS) (refers ?T ?EV)))))	Mid-level-ontology.kif 21093-21107	Wenn NewsReporter ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Process %n{nicht} und die zeit des Bestehens von Object deckt sich mit die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von Newspaper oder entity ist eine teilkategorie von NewsProgram und Object ist der schreiber von entity und entity umfasst einen hinweis auf entity %n{nicht}
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	Wenn OpenLayout ist ein attribut von Object %n{nicht}, dann Object ist ein fall von Room %n{nicht} und es gibt Object, Object, and und Object um Object ist ein fall von Region %n{nicht} und Object ist ein fall von Region %n{nicht} und Object befindet sich an %n{nicht} und Object befindet sich an %n{nicht} und Object ist gleich Object nicht und Object ist Adjacent hinsichlich Object %n{nicht} und es gibt Formula und Formula um Formula ist ein fall von Process %n{nicht} und Formula ist ein fall von Process %n{nicht} und Object hat Zweck von Formula %n{nicht} und Object hat Zweck von Formula %n{nicht} und wenn Object ist ein fall von AutonomousAgent %n{nicht} und Object befindet sich an %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle agent Seeing zu tun und ** Object ist faehig %n{nicht}, in der Rolle patient Seeing zu tun
(=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalVariableProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4432-4437	Wenn ABTest ist ein attribut von Object %n{nicht}, dann es gibt Process um Process ist ein fall von Process %n{nicht} und experimentalVariableProcess Object and ** Process
(=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG)))))	UXExperimentalTerms.kif 2563-2570	Wenn businessUnit Organization and Business, dann Organization hat Zweck von es gibt entity um entity ist ein fall von Process %n{nicht} und entity ist der agent von Organization %n{nicht} und benefits entity and Business %n{nicht}
(=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS)))))	Mid-level-ontology.kif 991-999	Wenn dateUsed Object, TimeInterval and AutonomousAgent, dann es gibt Process um Process ist ein fall von Process %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent verwendet Object und die zeit des Bestehens von Process deckt sich mit ** TimeInterval %n{nicht}
(=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4345-4355	Wenn exclusiveEvent Experimenting and Process, dann es gibt Process und Human um Process ist ein fall von Process %n{nicht} und Human ist ein fall von AutonomousAgent %n{nicht} und treatedUser Human and Experimenting und experimentalVariableProcess Experimenting and Process und Human erfaehrt Process %n{nicht} und Human erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=> (holdsDuring ?T (attribute ?X SafetyPosition)) (holdsDuring ?T (hasPurpose ?X (exists (?P ?H ?I ?T2) (and (instance ?H Human) (instance ?P Process) (patient ?P ?H) (agent ?P ?X) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (=> (holdsDuring ?T2 (experiencer ?I ?H)) (not (holdsDuring ?T2 (patient ?P ?H))))))))))))	Mid-level-ontology.kif 30731-30751	Wenn SafetyPosition ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann entity hat Zweck von es gibt entity, entity,, , entity, and und TimePosition2 um entity ist ein fall von Human %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von entity %n{nicht} und entity verhindert das Auftreten von die kategorie die entity beschreibt %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (ingredient ?ING ?S) (exists (?PROC ?X ?Y) (and (instance ?PROC Process) (instance ?X ?ING) (patient ?PROC ?X) (instance ?Y ?S) (result ?PROC ?Y))))	Merge.kif 1216-1224	Wenn ingredient Substance and Class, dann es gibt Process, Entity, and und Entity um Process ist ein fall von Process %n{nicht} und Entity ist ein fall von Substance %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Class %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (ingredientAmount ?ING ?FOOD ?AMT) (exists (?PROC ?X ?Y) (and (instance ?X ?ING) (measure ?X ?AMT) (instance ?Y ?FOOD) (instance ?PROC Process) (patient ?PROC ?X) (result ?PROC ?Y))))	Food.kif 1660-1669	Wenn ingredientAmount SelfConnectedObject, SelfConnectedObject and PhysicalQuantity, dann es gibt Process, Physical, and und Entity um Physical ist ein fall von SelfConnectedObject %n{nicht} und das mass von Physical ist PhysicalQuantity %n{nicht} und Entity ist ein fall von SelfConnectedObject %n{nicht} und Process ist ein fall von Process %n{nicht} und Physical ist ein patient von Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: