TreeView Knowledge Base Browser

appearance as argument number 1

(documentation subProcess ChineseLanguage "(subProcess ?SUBPROC ?PROC)的意思是 ?SUBPROC 是 ?PROC 的子过程。在这里，一个子过程可以理解为一个 Process 暂时可区分的(真整或非真整的)部分。")	chinese_format.kif 2893-2894
(documentation subProcess EnglishLanguage "(subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.")	Merge.kif 3756-3758
(documentation subProcess JapaneseLanguage "(subProcess ?SUBPROC ?PROC) は、?SUBPROC が ?PROC のサブプロセスであることを意味する。サブプロセスは、 Process の一時的に区別された部分(適切かどうか)として理解されている。")	japanese_format.kif 1640-1642
(domain subProcess 1 Process)	Merge.kif 3753-3753	Die Zahl 1 Argument von subProcess ist ein fall von Process %n{nicht}
(domain subProcess 2 Process)	Merge.kif 3754-3754	Die Zahl 2 Argument von subProcess ist ein fall von Process %n{nicht}
(instance subProcess BinaryPredicate)	Merge.kif 3751-3751	subProcess ist ein fall von BinaryPredicate %n{nicht}
(instance subProcess PartialOrderingRelation)	Merge.kif 3752-3752	subProcess ist ein fall von PartialOrderingRelation %n{nicht}

appearance as argument number 2

(format ChineseLanguage subProcess "%1%n是%2的subProcess")	chinese_format.kif 573-573
(format EnglishLanguage subProcess "%1 is %n a subprocess of %2")	english_format.kif 578-578
(format FrenchLanguage subProcess "%1 est %n un sous-processus de %2")	french_format.kif 340-340
(format ItalianLanguage subProcess "%1 è %n un sottoprocesso di %2")	relations-it.txt 277-277
(format JapaneseLanguage subProcess "%1 は %2% の subprocess では %n")	japanese_format.kif 2096-2096
(format PortugueseLanguage subProcess "%1 e' %n um sub-processo de %2")	portuguese_format.kif 292-292
(format cz subProcess "%1 %p{je} %n{nen�} a subprocess of %2")	relations-cz.txt 348-348
(format de subProcess "%1 ist ein subProzess von %2")	relations-de.txt 752-752
(format hi subProcess "%1 %2 kii upaprakriyaa hai")	relations-hindi.txt 314-314
(format ro subProcess "%1 %n{nu} este un subprocess%t{subproces} al lui %2")	relations-ro.kif 362-362
(format sv subProcess "%1 är %n{inte} en delprocess av %2")	relations-sv.txt 377-377
(format tg subProcess "%1 %n ay ang paraan mas baba ng %2")	relations-tg.txt 469-469
(termFormat ChineseLanguage subProcess "子过程")	chinese_format.kif 574-574
(termFormat ChineseTraditionalLanguage subProcess "子過程")	domainEnglishFormat.kif 55810-55810
(termFormat EnglishLanguage subProcess "sub process")	domainEnglishFormat.kif 55809-55809

antecedent

(=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER)))))	Biography.kif 757-776	Wenn VoiceActor ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von DramaticActing %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von LinguisticCommunication %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein subProzess von Process, dann es gibt nicht Process und AutonomousAgent um Process ist ein fall von Seeing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Process und AutonomousAgent um Process ist ein fall von Hearing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (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 ?A Ambulating) (subProcess ?S1 ?A) (instance ?S1 Stepping) (subProcess ?S2 ?A) (instance ?S2 Stepping) (equal ?S1START (BeginFn (WhenFn ?S1))) (equal ?S2START (BeginFn (WhenFn ?S2))) (not (or (before ?S1START ?S2START) (before ?S2START ?S1START)))) (equal ?S1 ?S2))	Mid-level-ontology.kif 494-507	Wenn Process ist ein fall von Ambulating %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Stepping %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Stepping %n{nicht} und ProcessSTART ist gleich der anfang von die zeit des Bestehens von Process %n{nicht} und ProcessSTART ist gleich der anfang von die zeit des Bestehens von Process %n{nicht} und ProcessSTART geschieht vor ProcessSTART %n{nicht} und ProcessSTART geschieht vor ProcessSTART %n{nicht}, dann Process ist gleich Process %n{nicht}
(=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3759-3784	Wenn AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und Entity ist ein fall von WebPage %n{nicht} und Process ist ein fall von DataTransfer %n{nicht} und Object ist ein fall von Server %n{nicht} und Process ist ein fall von Requesting %n{nicht} und AutonomousAgent ist ein fall von WebBrowser %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und Entity ist ein patient von AccessingWebPage %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Object %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von AccessingWebPage und Process ist ein subProzess von AccessingWebPage und das ende von die zeit des Bestehens von Process ist gleich der anfang von TimeInterval %n{nicht} und das ende von die zeit des Bestehens von Process ist gleich das ende von TimeInterval %n{nicht}, dann SiteSpeedFn AccessingWebPage ist gleich TimeInterval %n{nicht}
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?AMBULATE ?AGENT)) (agent ?STEP ?AGENT))	Mid-level-ontology.kif 509-515	Wenn Process ist ein fall von Ambulating %n{nicht} und Process ist ein fall von Stepping %n{nicht} und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht}, dann Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?AMBULATE Ambulating) (instance ?STEP Stepping) (subProcess ?STEP ?AMBULATE) (agent ?STEP ?AGENT)) (agent ?AMBULATE ?AGENT))	Mid-level-ontology.kif 517-523	Wenn Process ist ein fall von Ambulating %n{nicht} und Process ist ein fall von Stepping %n{nicht} und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht}, dann Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 22059-22078	Wenn Process ist ein fall von Blockade %n{nicht} und Contest ist ein fall von Contest %n{nicht} und Process ist ein subProzess von Contest und contestParticipant Contest and AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Contest1 und CognitiveAgent um Contest1 verhindert das Auftreten von Translocation und Process ist ein fall von Contest1 %n{nicht} und contestParticipant Contest and CognitiveAgent und AutonomousAgent ist gleich CognitiveAgent nicht und CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Contest1 %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein subProzess von Contest %n{nicht}
(=> (and (instance ?CPR CPR) (instance ?C Compressing) (path ?C ?P) (subProcess ?C ?CPR) (length ?P (MeasureFn ?L Centimeter))) (and (greaterThan ?L 5.0) (lessThan ?L 6.0)))	Medicine.kif 620-630	Wenn Process ist ein fall von CPR %n{nicht} und Motion ist ein fall von Compressing %n{nicht} und Object ist der pfad entlang dem Motion geschieht und Motion ist ein subProzess von Process und die laenge von Object ist RealNumber Centimeter(s) %n{nicht}, dann RealNumber ist groesserAls 5.0 %n{nicht} und RealNumber ist kleinerAls 6.0 %n{nicht}
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (agent ?DRIVING ?DRIVER)) (transported ?TRANSPORT ?DRIVER))	Mid-level-ontology.kif 23858-23864	Wenn Process ist ein fall von Driving %n{nicht} und Transportation ist ein subProzess von Process und Transportation ist ein fall von Transportation %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann transported Transportation and ** AutonomousAgent
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (destination ?DRIVING ?DEST)) (destination ?TRANSPORT ?DEST))	Mid-level-ontology.kif 23866-23872	Wenn Process ist ein fall von Driving %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Transportation %n{nicht} und Process endet an Entity %n{nicht}, dann Process endet an Entity %n{nicht}
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	Mid-level-ontology.kif 23874-23881	Wenn Process ist ein fall von Driving %n{nicht} und Transportation ist ein subProzess von Process und Transportation ist ein fall von Transportation %n{nicht} und TransportationDevice ist ein fall von Vehicle %n{nicht} und TransportationDevice ist ein patient von Process %n{nicht}, dann conveyance Transportation and TransportationDevice
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1259-1280	Wenn Process ist ein fall von DustStorm %n{nicht} und Process ist ein fall von Wind %n{nicht} und Process ist ein subProzess von Process, dann es gibt Transfer, Object,, , Object,, , Object,, , Object, and und RealNumber um Object ist ein fall von LandArea %n{nicht} und eventLocated Process and Object und surfaceWindSpeed Object and RealNumber KnotUnitOfSpeed(s) und RealNumber ist groesserAls 30.0 %n{nicht} und Transfer ist ein fall von Translocation %n{nicht} und Transfer ist ein subProzess von Process und objectTransferred Transfer and Object und objectTransferred Transfer and Object und Object ist ein fall von ParticulateMatter %n{nicht} und Object ist ein fall von Sand %n{nicht} und Object ist ein fall von LandArea %n{nicht} und Transfer endet an Object %n{nicht} und Object deckt sich mit ** Object raeumlich nicht
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?H Heating) (subProcess ?H ?FM) (measure ?M (MeasureFn ?T CelsiusDegree))) (approximateValue ?T 70.0))	Food.kif 1207-1216	Wenn Process ist ein fall von FoamingMilk %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein fall von ProcessedMilk %n{nicht} und Process ist ein fall von Heating %n{nicht} und Process ist ein subProzess von Process und das mass von Physical ist RealNumber CelsiusDegree(s) %n{nicht}, dann approximateValue RealNumber and 70.0
(=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M))))	Sports.kif 662-670	Wenn Process ist ein fall von Baseball %n{nicht} und Process ist ein fall von Pitching %n{nicht} und Process ist ein subProzess von Process, dann es gibt Object um Object ist ein fall von PitchersMound %n{nicht} und Process beginnet an Object %n{nicht}
(=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL)))))	Mid-level-ontology.kif 17269-17281	Wenn Object ist ein fall von GameGoal %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von Game %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Score %n{nicht}, dann es gibt Entity und TimePosition um Entity ist ein fall von GamePiece %n{nicht} und Entity ist ein patient von Process %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von Process %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (and (instance ?GUIDE GuidingMotion) (patient ?GUIDE ?MOVED) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion)) (patient ?MOTION ?MOVED))	ComputerInput.kif 85-91	Wenn Process ist ein fall von GuidingMotion %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Motion %n{nicht}, dann Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?GUIDE GuidingMotion) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion) (patient ?MOTION ?MOVED)) (patient ?GUIDE ?MOVED))	ComputerInput.kif 93-99	Wenn Process ist ein fall von GuidingMotion %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Motion %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver)))	Merge.kif 13488-13495	Wenn Process ist ein fall von Maneuver %n{nicht} und Process ist ein fall von ViolentContest %n{nicht} und Process ist ein subProzess von Process, dann Process ist ein fall von Attack %n{nicht} oder Process ist ein fall von DefensiveManeuver %n{nicht}
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	Wenn Entity ist ein fall von OPLAN %n{nicht} und Entity drueckt Process aus und Process ist ein fall von MilitaryOperation %n{nicht} und ProcessSUB ist ein subProzess von Process, dann Entity drueckt ProcessSUB aus
(=> (and (instance ?P DramaticPerformance) (subProcess ?A ?P)) (instance ?A DramaticActing))	Mid-level-ontology.kif 16175-16179	Wenn Process ist ein fall von DramaticPerformance %n{nicht} und Process ist ein subProzess von Process, dann Process ist ein fall von DramaticActing %n{nicht}
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 16151-16155	Wenn Process ist ein fall von MusicalPerformance %n{nicht} und Process ist ein subProzess von Process, dann Process ist ein fall von MakingMusic %n{nicht}
(=> (and (instance ?PROC Process) (eventLocated ?PROC ?LOC) (subProcess ?SUB ?PROC)) (eventLocated ?SUB ?LOC))	Mid-level-ontology.kif 23789-23794	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 ?PURCHASE TransactionCollection) (instance ?BUYING1 Buying) (instance ?BUYING2 Buying) (subProcess ?BUYING1 ?PURCHASE) (subProcess ?BUYING2 ?PURCHASE) (agent ?PURCHASE ?AGENT) (instrument ?PURCHASE ?INST)) (and (agent ?BUYING1 ?AGENT) (agent ?BUYING2 ?AGENT) (instrument ?BUYING1 ?INST) (instrument ?BUYING2 ?INST)))	UXExperimentalTerms.kif 1940-1953	Wenn Process ist ein fall von TransactionCollection %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (and (instance ?PURCHASE TransactionCollection) (instance ?BUYING1 Buying) (instance ?BUYING2 Buying) (subProcess ?BUYING1 ?PURCHASE) (subProcess ?BUYING2 ?PURCHASE)) (equal (WhenFn ?BUYING1) (WhenFn ?BUYING2)))	UXExperimentalTerms.kif 1929-1938	Wenn Process ist ein fall von TransactionCollection %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein fall von Buying %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process, dann die zeit des Bestehens von Process ist gleich die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?R RecreationOrExercise) (instrument ?R ?RM) (instance ?RM RowingMachine) (experiencer ?R ?H) (instance ?ROW Rowing) (subProcess ?RMOT ?R) (subclass ?C BodyMotion) (instance ?RMOT ?C)) (exists (?ROWMOT) (and (instance ?ROWMOT ?C) (subProcess ?ROWMOT ?R) (agent ?ROWMOT ?H))))	Mid-level-ontology.kif 8461-8475	Wenn Process ist ein fall von RecreationOrExercise %n{nicht} und ProcessM ist ein instrument fuer Process %n{nicht} und ProcessM ist ein fall von RowingMachine %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und ProcessOW ist ein fall von Rowing %n{nicht} und ProcessMOT ist ein subProzess von Process und Class ist eine teilkategorie von BodyMotion und ProcessMOT ist ein fall von Class %n{nicht}, dann es gibt ProcessOWMOT um ProcessOWMOT ist ein fall von Class %n{nicht} und ProcessOWMOT ist ein subProzess von Process und ProcessOWMOT ist der agent von AutonomousAgent %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 744-755	PolyphonicMusic ist ein attribut von Object %n{nicht} genau dann wenn es gibt Process und Process um Object ist ein fall von MakingMusic %n{nicht} und Process ist ein fall von MakingMusic %n{nicht} und Process ist ein fall von MakingMusic %n{nicht} und Process ist ein subProzess von Object und Process ist ein subProzess von Object und Process ist gleich Process nicht und Process geschiecht gleichzeitig mit Object %n{nicht} und Process geschiecht gleichzeitig mit Object %n{nicht}
(<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2))))))	Mid-level-ontology.kif 30553-30567	Process wird in der Weise von Harmless durchgef�hrt genau dann wenn Process ist ein fall von Damaging nicht und es gibt nicht Process2 um Process2 ist ein fall von Damaging %n{nicht} und Process2 ist ein subProzess von Process und es gibt nicht Process2 um Process2 ist ein fall von Damaging %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	Wenn Process ist der agent von AutonomousAgent %n{nicht} und Process beginnet an Object %n{nicht} und Physical ist ein patient von Process %n{nicht} und wert von Physical ist CurrencyMeasure, dann es gibt FinancialTransaction um FinancialTransaction ist ein subProzess von Process und FinancialTransaction ist ein fall von Payment %n{nicht} und transactionAmount FinancialTransaction and CurrencyMeasure und FinancialTransaction beginnet an AutonomousAgent %n{nicht} und FinancialTransaction endet an Object %n{nicht}
(=> (and (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 ?S (SongFn ?MC ?LC)) (realization ?S ?MUSIC)) (exists (?MM ?MV) (and (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC))))	Music.kif 867-876	Wenn Song ist gleich SongFn MusicalComposition and LyricalContent %n{nicht} und Song druekt den Inhalt von Process aus, dann es gibt Process und Process um MusicalComposition ist ein patient von Process %n{nicht} und LyricalContent ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von ** Process
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))	Merge.kif 12305-12314	Wenn Process ist ein fall von Surgery %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Cutting %n{nicht} und Entity ist ein fall von Animal %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von ** Process
(=> (and (instance ?AMBULATE Ambulating) (equal ?DURATION (WhenFn ?AMBULATE))) (exists (?STEP1 ?STEPN) (and (instance ?STEP1 Stepping) (instance ?STEPN Stepping) (subProcess ?STEP1 ?AMBULATE) (subProcess ?STEPN ?AMBULATE) (starts (WhenFn ?STEP1) ?DURATION) (finishes (WhenFn ?STEPN) ?DURATION) (not (equal ?STEP1 ?STEPN)))))	Mid-level-ontology.kif 480-492	Wenn Process ist ein fall von Ambulating %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von Process %n{nicht}, dann es gibt Process und Process um Process ist ein fall von Stepping %n{nicht} und Process ist ein fall von Stepping %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und die zeit des Bestehens von Process beginnt TimeInterval %n{nicht} und die zeit des Bestehens von Process beendet TimeInterval %n{nicht} und Process ist gleich ** Process nicht
(=> (and (instance ?AMBUSH Ambush) (agent ?AMBUSH ?AG)) (exists (?C) (and (instance ?C Concealing) (subProcess ?C ?AMBUSH) (hasPurpose ?C (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AG)))))))	Mid-level-ontology.kif 22040-22052	Wenn Process ist ein fall von Ambush %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Process um Process ist ein fall von Concealing %n{nicht} und Process ist ein subProzess von Process und Process hat Zweck von es gibt entity um entity ist ein fall von Attack %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} %n{nicht}
(=> (and (instance ?APR AirPhotographicReconnaissance) (agent ?APR ?AGENT) (patient ?APR ?HOSTILE)) (exists (?PHOTOGRAPHING) (and (instance ?PHOTOGRAPHING Photographing) (subProcess ?PHOTOGRAPHING ?APR) (agent ?PHOTOGRAPHING ?AGENT) (patient ?PHOTOGRAPHING ?HOSTILE))))	MilitaryProcesses.kif 753-763	Wenn Process ist ein fall von AirPhotographicReconnaissance %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Photographing %n{nicht} und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?AR AmphibiousReconnaissance) (agent ?AR ?AGENT)) (exists (?LANDING) (and (subProcess ?LANDING ?AR) (instance ?LANDING LandingWaterLand) (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 782-790	Wenn Process ist ein fall von AmphibiousReconnaissance %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Process um Process ist ein subProzess von Process und Process ist ein fall von LandingWaterLand %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST))))	Mid-level-ontology.kif 23777-23787	Wenn PlacingUnderArrest ist ein fall von PlacingUnderArrest %n{nicht} und arrested PlacingUnderArrest and AutonomousAgent und AutonomousAgent ist ein fall von GroupOfPeople %n{nicht} und AutonomousAgent ist ein Mitglied von AutonomousAgent %n{nicht}, dann es gibt PlacingUnderArrest1 um PlacingUnderArrest1 ist ein fall von PlacingUnderArrest %n{nicht} und arrested PlacingUnderArrest1 and AutonomousAgent und PlacingUnderArrest1 ist ein subProzess von ** PlacingUnderArrest
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1033-1041	Wenn FinancialAccount ist ein fall von SavingsAccount %n{nicht} und Process ist ein fall von FinancialTransaction %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht}, dann es gibt Process um Process ist ein fall von AuthorizationOfTransaction %n{nicht} und Process ist ein subProzess von Process
(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 22059-22078	Wenn Process ist ein fall von Blockade %n{nicht} und Contest ist ein fall von Contest %n{nicht} und Process ist ein subProzess von Contest und contestParticipant Contest and AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Contest1 und CognitiveAgent um Contest1 verhindert das Auftreten von Translocation und Process ist ein fall von Contest1 %n{nicht} und contestParticipant Contest and CognitiveAgent und AutonomousAgent ist gleich CognitiveAgent nicht und CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Contest1 %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein subProzess von Contest %n{nicht}
(=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	Wenn Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an CognitiveAgent %n{nicht} und publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validPaymentType PricingScheme and Payment, dann die Aussage es gibt PaymentMENT um PaymentMENT ist ein fall von Payment %n{nicht} und PaymentMENT ist ein subProzess von Process hat die modale Kraft von Likely
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H))))	Mid-level-ontology.kif 11989-11997	Wenn Process ist ein fall von Choking %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt ProcessO um ProcessO ist ein fall von Coughing %n{nicht} und ProcessO ist ein subProzess von Process und AutonomousAgent erfaehrt ** ProcessO %n{nicht}
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (exists (?I ?E) (and (instance ?I Inhaling) (instance ?E Exhaling) (subProcess ?I ?C) (subProcess ?E ?C) (experiencer ?I ?H) (experiencer ?E ?H))))	Mid-level-ontology.kif 6037-6048	Wenn Process ist ein fall von Coughing %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process und Process um Process ist ein fall von Inhaling %n{nicht} und Process ist ein fall von Exhaling %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (and (instance ?C Crushing) (patient ?C ?O) (instance ?O Object)) (exists (?B ?SC) (and (instance ?B Breaking) (causes ?C ?B) (subProcess ?B ?SC) (instance ?SC ShapeChange) (patient ?B ?O) (patient ?SC ?O))))	Food.kif 980-992	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 und Process um Process ist ein fall von Breaking %n{nicht} und Process verursacht Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von ShapeChange %n{nicht} und Entity ist ein patient von Process %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 ?C CurdlingMilk) (instance ?M Milk) (patient ?C ?M)) (exists (?PH ?D ?H ?L) (and (measure ?M (MeasureFn ?PH PHValue)) (instance ?D Decreasing) (subProcess ?D ?C) (patient ?D ?PH) (holdsDuring (BeginFn (WhenFn ?D)) (equal ?PH ?H) (approximateValue ?H 6.5)) (holdsDuring (EndFn (WhenFn ?D)) (equal ?PH ?L) (approximateValue ?L 4.5)))))	Food.kif 3226-3247	Wenn Process ist ein fall von CurdlingMilk %n{nicht} und Physical ist ein fall von Milk %n{nicht} und Physical ist ein patient von Process %n{nicht}, dann es gibt RealNumber, Process,, , entity, and und entity um das mass von Physical ist RealNumber PHValue(s) %n{nicht} und Process ist ein fall von Decreasing %n{nicht} und Process ist ein subProzess von Process und RealNumber ist ein patient von Process %n{nicht} und RealNumber ist gleich entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und RealNumber ist gleich entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F))))	Food.kif 96-105	Wenn Process ist ein fall von CuringFood %n{nicht} und Entity ist ein fall von Food %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Drying %n{nicht} und Process ist ein subProzess von Process und Entity ist ein patient von ** Process %n{nicht}
(=> (and (instance ?Check VerifyingCardCode) (patient ?Check ?Code) (cardCode ?Code ?Card)) (exists (?Decode) (and (instance ?Decode Decoding) (subProcess ?Decode ?Check) (patient ?Decode ?Code))))	FinancialOntology.kif 3572-3581	Wenn Process ist ein fall von VerifyingCardCode %n{nicht} und ContentBearingObject ist ein patient von Process %n{nicht} und cardCode ContentBearingObject and BankCard, dann es gibt Process um Process ist ein fall von Decoding %n{nicht} und Process ist ein subProzess von Process und ContentBearingObject ist ein patient von ** Process %n{nicht}
(=> (and (instance ?D Diet) (realization ?P ?D)) (exists (?E) (and (subProcess ?E ?P) (instance ?E Eating))))	Mid-level-ontology.kif 21791-21798	Wenn Proposition ist ein fall von Diet %n{nicht} und Process druekt den Inhalt von Proposition aus, dann es gibt Process um Process ist ein subProzess von Process und ** Process ist ein fall von Eating %n{nicht}
(=> (and (instance ?DESTR PreciseDestruction) (patient ?DESTR ?PATIENT)) (hasPurpose ?DESTR (not (exists (?DAMAGING ?DAMAGED) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 618-630	Wenn Process ist ein fall von PreciseDestruction %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Process hat Zweck von es gibt nicht entity und entity um entity ist ein fall von Damaging %n{nicht} und entity ist ein subProzess von Process und entity ist ein patient von entity %n{nicht} und Entity ist gleich entity nicht %n{nicht}
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE)))))	Merge.kif 12019-12028	Wenn Process ist ein fall von Discovering %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Learning %n{nicht} und Process ist ein subProzess von Process und Entity befindet sich an %n{nicht} ist ein patient von Process %n{nicht}
(=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE))))	Mid-level-ontology.kif 23848-23856	Wenn Process ist ein fall von Driving %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von RoadVehicle %n{nicht}, dann es gibt Process um Process ist ein fall von TransportViaRoadVehicle %n{nicht} und Process ist ein subProzess von Process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(subProcess CivilAffairsActivity CivilAffairsOperation)

MilitaryProcesses.kif 2373-2373

CivilAffairsActivity ist ein subProzess von CivilAffairsOperation

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

KB Term:			Term intersection

English Word: