result - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation result instrument)	Merge.kif 2515-2515	resultat und instrument werden disjunkt
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如：在以下'埃里克建了一栋房子'这命题，房子是个 result。")	chinese_format.kif 1895-1896
(documentation result EnglishLanguage "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house.")	Merge.kif 2554-2556
(documentation result JapaneseLanguage "(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。　例：家は次の命題の result である: エリックは家を建てた。")	japanese_format.kif 521-522
(domain result 1 Process)	Merge.kif 2551-2551	Die Zahl 1 Argument von resultat ist ein fall von Process %n{nicht}
(domain result 2 Entity)	Merge.kif 2552-2552	Die Zahl 2 Argument von resultat ist ein fall von Entity %n{nicht}
(instance result CaseRole)	Merge.kif 2549-2549	resultat ist ein fall von CaseRole %n{nicht}
(instance result PartialValuedRelation)	Merge.kif 2550-2550	resultat ist ein fall von PartialValuedRelation %n{nicht}
(subrelation result patient)	Merge.kif 2548-2548	resultat ist eine teilrelation von patient

appearance as argument number 2

(disjointRelation resource result)	Merge.kif 2513-2513	hilfsmittel und resultat werden disjunkt
(format ChineseLanguage result "%2 %n 是 %1 的 result")	chinese_format.kif 183-183
(format EnglishLanguage result "%2 is %n a result of %1")	english_format.kif 184-184
(format FrenchLanguage result "%2 est %n le resultat de %1")	french_format.kif 111-111
(format ItalianLanguage result "%2 è %n un risultato di %1")	relations-it.txt 257-257
(format JapaneseLanguage result "%2 は %1 の result では %n")	japanese_format.kif 1940-1940
(format PortugueseLanguage result "%2 e' %n o resultado de %1")	portuguese_format.kif 63-63
(format cz result "%2 %p{je} %n{nen�} v�sledkem %1")	relations-cz.txt 87-87
(format de result "%2 ist ein resultat von %1 %n{nicht}")	relations-de.txt 232-232
(format hi result "%2 %1 kaa pariNaama %n hai")	relations-hindi.txt 294-294
(format ro result "%2 %n{nu} este un result%t{rezultat} al lui %1")	relations-ro.kif 130-130
(format sv result "%2 är %n{inte} ett resultat av %1")	relations-sv.txt 116-116
(format tg result "%2 %n ay ang hangga ng %1")	relations-tg.txt 449-449
(termFormat ChineseLanguage result "结果")	chinese_format.kif 184-184
(termFormat ChineseTraditionalLanguage result "結果")	domainEnglishFormat.kif 49797-49797
(termFormat EnglishLanguage result "result")	domainEnglishFormat.kif 49796-49796
(termFormat de result "resultat")	terms-de.txt 73-73

antecedent

(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 12512-12519	Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} genau dann wenn Object ist ein teil von Entity nicht haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Object ist ein teil von Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20787-20794	Wenn actedIn Human and ContentBearingPhysical und Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht}, dann Actor ist ein attribut von Human %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18864-18870	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 (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 (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 20761-20770	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 (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact))	Merge.kif 12874-12878	Wenn Process ist ein fall von Constructing %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von StationaryArtifact %n{nicht}
(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 586-602	Wenn Process ist ein fall von CateringService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an ProcessUST %n{nicht} und AutonomousAgent befindet sich an %n{nicht} und customer ProcessUST and AutonomousAgent und es gibt Process, Entity, and und Process um Process ist ein fall von Cooking %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von ProcessUST %n{nicht} und eventLocated Process and Object, dann Object ist gleich ** Object nicht
(=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2))	Mid-level-ontology.kif 20442-20447	Wenn Process ist ein fall von Copying %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein resultat von Process %n{nicht}, dann Object ist eine genaue kopie von Object
(=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP))	Catalog.kif 172-178	Wenn Process ist ein fall von Creation %n{nicht} und Proposition ist ein resultat von Process %n{nicht} und Proposition ist ein fall von Proposition %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann propositionOwner CognitiveAgent and ** Proposition
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10082-10105	Wenn Object ist ein fall von Antidiuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und TimeInterval ist gleich TimeInterval nicht und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10052-10073	Wenn Object ist ein fall von Diuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls ** RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 74-83	Wenn Process ist ein fall von Death %n{nicht} und Entity ist ein fall von OrganismRemains %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und entity ist ein teil von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann AutonomousAgent erfaehrt ** Process %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 12092-12108	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 ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction))	WMD.kif 690-694	Wenn Process ist ein fall von DevelopingWeaponOfMassDestruction %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von WeaponOfMassDestruction %n{nicht}
(=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance))	Merge.kif 12593-12602	Wenn Object ist ein fall von ElementalSubstance %n{nicht} und Object ist ein fall von ElementalSubstance %n{nicht} und Object ist gleich Object nicht und Process ist ein fall von ChemicalSynthesis %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann ** Entity ist ein fall von CompoundSubstance %n{nicht}
(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan))	MilitaryProcesses.kif 1527-1533	Wenn Process ist ein fall von OperationPlanning %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition, dann Proposition ist ein fall von OperationPlan %n{nicht}
(=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN))))	Merge.kif 10874-10882	Wenn Process ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht}, dann es gibt Proposition um Proposition ist ein fall von Plan %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber ** Proposition
(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula))	UXExperimentalTerms.kif 3794-3798	Wenn Process ist ein fall von Experimenting %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von Formula %n{nicht}
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5485-5493	Wenn Process ist ein fall von Felling %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann es gibt EntityTEM um Entity ist ein fall von DeadFn EntityTEM %n{nicht} und ** EntityTEM ist eine teilkategorie von PlantStem
(=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine))	Food.kif 3692-3699	Wenn Process ist ein fall von Fermentation %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von JuiceOfFn WineGrape %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von Wine %n{nicht}
(=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon))	WMD.kif 654-660	Wenn Object ist ein fall von NuclearWeaponProductionFacility %n{nicht} und Process ist ein fall von DevelopingWeaponOfMassDestruction %n{nicht} und eventLocated Process and Object und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von NuclearWeapon %n{nicht}
(=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing))	Mid-level-ontology.kif 16074-16079	Wenn Process ist ein fall von Choreographing %n{nicht} und Proposition ist ein resultat von Process %n{nicht} und Process druekt den Inhalt von Proposition aus, dann ** Process ist ein fall von Dancing %n{nicht}
(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce))	Food.kif 2687-2692	Wenn Process ist ein fall von Harvesting %n{nicht} und Object ist ein resultat von Process %n{nicht} und Object ist ein fall von Mushroom %n{nicht}, dann Produce ist ein attribut von ** Object %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO1)) (exists (?OBJ2 ?INFO2) (and (result ?COPY ?OBJ2) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO2) (equal ?INFO1 ?INFO2))))	Mid-level-ontology.kif 26362-26373	Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ContentBearingPhysical und Proposition um ContentBearingPhysical ist ein resultat von Process %n{nicht} und ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition und Proposition ist gleich ** Proposition %n{nicht}
(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS))))	Mid-level-ontology.kif 6472-6482	Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, Object, and und Process um Object ist ein fall von CompoundSubstance %n{nicht} und Object ist ein fall von CompoundSubstance %n{nicht} und Object ist gleich Object nicht und Process ist ein fall von ChemicalSynthesis %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(<=> (yearOfFounding ?O ?Y) (exists (?F ?YEAR) (and (overlapsTemporally (WhenFn ?F) ?YEAR) (instance ?YEAR (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 961-968	yearOfFounding Organization and Integer genau dann wenn es gibt Process und IntegerEAR um IntegerEAR deckt sich mit die zeit des Bestehens von Process %n{nicht} und IntegerEAR ist ein fall von das jahr Integer %n{nicht} und Process ist ein fall von Founding %n{nicht} und Organization ist ein resultat von Process %n{nicht}
(=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O))))	Mid-level-ontology.kif 20779-20785	Wenn actedIn Human and ContentBearingPhysical, dann es gibt Process um Process ist ein fall von DramaticActing %n{nicht} und Human ist ein patient von Process %n{nicht} und ContentBearingPhysical ist ein resultat von ** Process %n{nicht}
(=> (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 17403-17416	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 ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4195-4204	Wenn Produce ist ein attribut von Object %n{nicht} und Object ist ein fall von FruitOrVegetable %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von Harvesting %n{nicht} und Object ist ein resultat von entity %n{nicht} und Object ist ein fall von FoodForFn Human %n{nicht} %n{nicht}
(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	Wenn Process endet an Object %n{nicht} und Process ist ein fall von Messaging %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von Telex %n{nicht}, dann es gibt Process und Entity um Object ist ein instrument fuer Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity drueckt Entity aus und Entity ist ein fall von Text %n{nicht} und der anfang von die zeit des Bestehens von Process geschieht vor der anfang von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?SC) (and (result ?C ?SC) (instance ?SC ShapeChange) (patient ?SC ?O))))	Food.kif 994-1003	Wenn Process ist ein fall von Crushing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Object %n{nicht}, dann es gibt Process um Process ist ein resultat von Process %n{nicht} und Process ist ein fall von ShapeChange %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (and (instance ?C Curdling) (patient ?C ?X) (instance ?X Colloid)) (exists (?S ?A) (and (instance ?S Separating) (subProcess ?S ?C) (patient ?S ?X) (result ?S ?A) (piece ?A ?X) (instance ?A Substance))))	Food.kif 3199-3211	Wenn Process ist ein fall von Curdling %n{nicht} und Substance ist ein patient von Process %n{nicht} und Substance ist ein fall von Colloid %n{nicht}, dann es gibt Process und Substance um Process ist ein fall von Separating %n{nicht} und Process ist ein subProzess von Process und Substance ist ein patient von Process %n{nicht} und Substance ist ein resultat von Process %n{nicht} und Substance ist ein stueck von Substance %n{nicht} und ** Substance ist ein fall von Substance %n{nicht}
(=> (and (instance ?CA ChemicalAcid) (instance ?CB ChemicalBase) (instance ?C ChemicalProcess) (patient ?C ?CA) (patient ?C ?CB)) (exists (?CS) (and (instance ?CS ChemicalSalt) (result ?C ?CS))))	Mid-level-ontology.kif 8753-8763	Wenn Entity ist ein fall von ChemicalAcid %n{nicht} und Entity ist ein fall von ChemicalBase %n{nicht} und Process ist ein fall von ChemicalProcess %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt ProcessS um ProcessS ist ein fall von ChemicalSalt %n{nicht} und ProcessS ist ein resultat von Process %n{nicht}
(=> (and (instance ?COLOR SecondaryColor) (attribute ?OBJ ?COLOR)) (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2) (and (result ?PROCESS ?OBJ) (resource ?PROCESS ?RESOURCE1) (resource ?PROCESS ?RESOURCE2) (attribute ?RESOURCE1 ?PRIMARY1) (attribute ?RESOURCE2 ?PRIMARY2) (instance ?PRIMARY1 PrimaryColor) (instance ?PRIMARY2 PrimaryColor) (not (equal ?PRIMARY1 ?PRIMARY2)))))	Mid-level-ontology.kif 19406-19419	Wenn Attribute ist ein fall von SecondaryColor %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann es gibt Process, Object,, , Object,, , Attribute, and und Attribute um Object ist ein resultat von Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von PrimaryColor %n{nicht} und Attribute ist ein fall von PrimaryColor %n{nicht} und Attribute ist gleich ** Attribute nicht
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 10258-10273	Wenn Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Entity und entity um Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von OrganicObject %n{nicht} und Dead ist ein attribut von Entity %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht} und wenn entity ist ein teil von Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 85-94	Wenn Process ist ein fall von Death %n{nicht} und Entity ist ein fall von OrganismRemains %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und entity ist ein teil von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann Entity ist ein resultat von ** Process %n{nicht}
(=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON) (earlier (WhenFn ?DEVELOP) (WhenFn ?DISMANTLE)))))	WMD.kif 750-758	Wenn Process ist ein fall von DismantlingWeaponOfMassDestruction %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von DevelopingWeaponOfMassDestruction %n{nicht} und Entity ist ein resultat von Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?FM FoamingMilk) (instance ?M ProcessedMilk) (patient ?FM ?M)) (exists (?H ?A ?B) (and (instance ?H Heating) (patient ?H ?M) (instance ?A Aerating) (patient ?A ?M) (result ?A ?B) (instance ?B Bubble) (during (WhenFn ?A) (WhenFn ?H)))))	Food.kif 1190-1205	Wenn Process ist ein fall von FoamingMilk %n{nicht} und Entity ist ein fall von ProcessedMilk %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process, Process, and und Entity um Process ist ein fall von Heating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein fall von Aerating %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von Bubble %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?G Gaslighting) (agent ?G ?A) (suffers ?G ?H)) (exists (?P) (and (instance ?P Perception) (experiencer ?P ?H) (causesProposition (suffers ?G ?H) (not (knows ?H (result ?P ?R)))))))	Medicine.kif 3665-3678	Wenn Process ist ein fall von Gaslighting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent, dann es gibt Process um Process ist ein fall von Perception %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und causesProposition suffers Process and AutonomousAgent and AutonomousAgent kennt entity ist ein resultat von ** Process %n{nicht} nicht
(=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C))))	VirusProteinAndCellPart.kif 654-668	Wenn Object ist ein fall von Gene %n{nicht} und Object befindet sich an %n{nicht} und Object ist ein fall von Cell %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von BiologicalProcess %n{nicht} und eventLocated Process and Object und Process beginnet an Object %n{nicht} und Object ist ein resultat von Process %n{nicht} und Object ist ein fall von Nucleotide %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RNAMolecule %n{nicht} und ** Object befindet sich an %n{nicht}
(=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O)))))))	Food.kif 1012-1026	Wenn Process ist ein fall von Grinding %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von CorpuscularObject %n{nicht}, dann es gibt entity um entity ist ein resultat von Process %n{nicht} und entity ist ein fall von Collection %n{nicht} und fuer alle entity wenn entity ist ein Mitglied von entity %n{nicht}, dann entity ist ein teil von Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?L Laceration) (instance ?S Skin) (equal ?S (HoleHostFn ?L)) (part ?S ?H)) (exists (?P) (and (instance ?P Poking) (result ?P ?L))))	Medicine.kif 6219-6228	Wenn HoleRegion ist ein fall von Laceration %n{nicht} und Object ist ein fall von Skin %n{nicht} und Object ist gleich HoleHostFn HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Process um Process ist ein fall von Poking %n{nicht} und HoleRegion ist ein resultat von ** Process %n{nicht}
(=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryProductType ?INDUSTRY ?TYPE)) (exists (?EVENT ?ITEM) (and (instance ?EVENT Making) (instance ?ITEM ?TYPE) (agent ?EVENT ?ORG) (result ?EVENT ?ITEM))))	Economy.kif 1607-1617	Wenn AutonomousAgent ist ein fall von Organization %n{nicht} und IndustryAttribute ist ein attribut von AutonomousAgent %n{nicht} und industryProductType IndustryAttribute and Object, dann es gibt Process und Entity um Process ist ein fall von Making %n{nicht} und Entity ist ein fall von Object %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von Process %n{nicht}
(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest))))	Economy.kif 5210-5222	Wenn Entity ist ein fall von ForestProduct %n{nicht} und Process ist ein fall von Manufacture %n{nicht} und Entity ist ein resultat von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Organism %n{nicht}, dann es gibt Process und Object um Process ist ein fall von Agriculture %n{nicht} und Entity ist ein resultat von Process %n{nicht} und eventLocated Process and Object und ** Object ist ein fall von Forest %n{nicht}
(=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute)))))	Economy.kif 4384-4399	Wenn Process ist ein fall von Putting %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Spice %n{nicht} und Process endet an Object %n{nicht} und Object ist ein fall von PreparedFood %n{nicht}, dann es gibt Process und Attribute um Process ist ein fall von InternalChange %n{nicht} und Object ist ein patient von Process %n{nicht} und Attribute ist ein resultat von Process %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von FlavourAttribute %n{nicht} oder ** Attribute ist ein fall von ColorAttribute %n{nicht}
(=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2078-2091	Wenn CorpuscularObject ist ein fall von ViewItemPage %n{nicht} und Process ist ein fall von WebListing %n{nicht} und Process ist ein bestandteil von CorpuscularObject %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Physical %n{nicht}, dann es gibt Process, Process, and und ProcessCONTENT um Process ist ein fall von Stating %n{nicht} und Process ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Entity und ProcessCONTENT ist ein resultat von Process %n{nicht} und ProcessCONTENT ist ein teil von CorpuscularObject %n{nicht}
(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))	Merge.kif 16873-16881	Wenn Proposition ist ein fall von Plan %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und ContentBearingPhysical enthaelt Informationen ueber Proposition, dann es gibt PropositionNING um PropositionNING ist ein fall von Planning %n{nicht} und ContentBearingPhysical ist ein resultat von PropositionNING %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}

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: