(=>     (and         (instance ?CONFINE Confining)         (patient ?CONFINE ?PERSON)         (instance ?PERSON Human))     (not         (desires ?PERSON             (patient ?CONFINE ?PERSON))))	Merge.kif 12362-12367	Wenn Prozess ist ein fall von Begrenzen und kognitiver Agent ist ein patient von ** Prozess und ** kognitiver Agent ist ein fall von Mensch , dann ** kognitiver Agent wuenscht ** kognitiver Agent ist ein patient von ** Prozess nicht
(=>     (and         (instance ?Card DebitCard)         (possesses ?Agent ?Card)         (instance ?Transaction FinancialTransaction)         (instrument ?Transaction ?Card))     (exists (?PIN ?Enter)         (and             (pin ?PIN ?Card)             (instance ?Enter EnteringAPin)             (patient ?Enter ?PIN)             (agent ?Enter ?Agent))))	FinancialOntology.kif 3561-3572	Wenn BankCard ist ein fall von DebitCard und AutonomousAgent besitzt ** BankCard und Prozess ist ein fall von Geldtransaktion und ** BankCard ist ein instrument fuer ** Prozess , dann es gibt Zeichenfolge und ** Prozess um pin ** Zeichenfolge and ** BankCard und ** ** Prozess ist ein fall von EnteringAPin und ** Zeichenfolge ist ein patient von ** ** Prozess und ** ** Prozess ist der agent von ** AutonomousAgent
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 139-148	Wenn Wesen ist ein fall von Check und Prozess ist ein fall von ProcessingACheck und ** Wesen ist ein patient von ** Prozess , dann es gibt ** Prozess um ** ** Prozess ist ein fall von DepositingACheck und ** Wesen ist ein patient von ** ** Prozess und ** ** Prozess besteht waehrend direkt vor die zeit des Bestehens von ** Prozess
(=>     (and         (instance ?Check VerifyingCardCode)         (patient ?Check ?Code)         (cardCode ?Code ?Card))     (exists (?Decode)         (and             (instance ?Decode Decoding)             (subProcess ?Decode ?Check)             (patient ?Decode ?Code))))	FinancialOntology.kif 3590-3599	Wenn Prozess ist ein fall von VerifyingCardCode und Inhaltsgegenstand ist ein patient von ** Prozess und cardCode ** Inhaltsgegenstand and BankCard, dann es gibt ** Prozess um ** ** Prozess ist ein fall von Decodieren und ** ** Prozess ist ein subProzess von ** Prozess und ** Inhaltsgegenstand ist ein patient von ** ** Prozess
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	Wenn Prozess ist ein fall von Dodging und ** Prozess ist der agent von AutonomousAgent und ** ProzessT ist gleich die zeit des Bestehens von ** Prozess , dann ** Prozess hat Zweck von es gibt nicht Wesen um ** ProzessT schliesst die zeit des Bestehens von ** Wesen zeitlich an oder die zeit des Bestehens von ** Wesen deckt sich mit ** ProzessT und ** Wesen ist ein fall von Auswirken und ** AutonomousAgent ist ein patient von ** Wesen
(=>     (and         (instance ?DECODE Decoding)         (patient ?DECODE ?DOC1))     (exists (?ENCODE ?DOC2 ?TIME ?PROP)         (and             (containsInformation ?DOC2 ?PROP)             (containsInformation ?DOC1 ?PROP)             (temporalPart ?TIME                 (PastFn                     (WhenFn ?DECODE)))             (holdsDuring ?TIME                 (and                     (instance ?ENCODE Encoding)                     (patient ?ENCODE ?DOC2))))))	Merge.kif 12869-12882	Wenn Prozess ist ein fall von Decodieren und ContentBearingPhysical ist ein patient von ** Prozess , dann es gibt Wesen, ** ContentBearingPhysical,, , Zeitposition, and und Proposition um ** ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition und ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition und ** Zeitposition ist ein teil von vor die zeit des Bestehens von ** Prozess und ** Wesen ist ein fall von Kodieren und ** ** ContentBearingPhysical ist ein patient von ** Wesen haelt waehrend ** Zeitposition
(=>     (and         (instance ?DEFENSE DefensiveManeuver)         (agent ?DEFENSE ?AGENT))     (hasPurposeForAgent ?DEFENSE         (not             (exists (?DAMAGE)                 (and                     (instance ?DAMAGE Damaging)                     (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13585-13594	Wenn Prozess ist ein fall von DefensiveManeuver und ** Prozess ist der agent von AutonomousAgent , dann ** Prozess hat Zweck von es gibt nicht Wesen um ** Wesen ist ein fall von Beschaedigen und ** AutonomousAgent ist ein patient von ** Wesen fuer ** AutonomousAgent
(=>     (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 Prozess ist ein fall von PreciseDestruction und Wesen ist ein patient von ** Prozess , dann ** Prozess hat Zweck von es gibt nicht ** Wesen und ** Wesen um ** ** Wesen ist ein fall von Beschaedigen und ** ** Wesen ist ein subProzess von ** Prozess und ** ** Wesen ist ein patient von ** ** Wesen und ** Wesen ist gleich ** ** Wesen 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 12123-12132	Wenn Prozess ist ein fall von Discovering und Wesen ist ein patient von ** Prozess und ** Wesen befindet sich an haelt waehrend die zeit des Bestehens von ** Prozess , dann es gibt ** Prozess um ** ** Prozess ist ein fall von Lernen und ** ** Prozess ist ein subProzess von ** Prozess und ** Wesen befindet sich an ist ein patient von ** ** Prozess
(=>     (and         (instance ?Downtick Downtick)         (patient ?Downtick ?Stock)         (equal             (WhenFn ?Downtick) ?Time1)         (instance ?U UnitOfCurrency)         (price ?Stock             (MeasureFn ?Price1 ?U) ?Time1))     (exists (?Transaction ?Time2 ?Price2)         (and             (instance ?Transaction StockMarketTransaction)             (patient ?Transaction ?Stock)             (equal                 (WhenFn ?Transaction) ?Time2)             (meetsTemporally ?Time2 ?Time1)             (price ?Stock                 (MeasureFn ?Price2 ?U) ?Time2)             (greaterThan ?Price2 ?Price1))))	FinancialOntology.kif 3251-3267	Wenn Prozess ist ein fall von Downtick und koerperlicher Gegenstand ist ein patient von ** Prozess und die zeit des Bestehens von ** Prozess ist gleich AutonomousAgent und Masseinheit ist ein fall von UnitOfCurrency und price ** koerperlicher Gegenstand, reelle Zahl ** Masseinheit(s) and ** AutonomousAgent, dann es gibt ** Prozess, ** AutonomousAgent, and und ** reelle Zahl um ** ** Prozess ist ein fall von StockMarketTransaction und ** koerperlicher Gegenstand ist ein patient von ** ** Prozess und die zeit des Bestehens von ** ** Prozess ist gleich ** ** AutonomousAgent und ** ** AutonomousAgent schliesst ** AutonomousAgent zeitlich an und price ** koerperlicher Gegenstand, ** ** reelle Zahl ** Masseinheit(s) and ** ** AutonomousAgent und ** ** reelle Zahl ist groesserAls ** reelle Zahl
(=>     (and         (instance ?E Exhaust)         (material Fuel ?E)         (instance ?T Transfer)         (instance ?ENG Engine)         (origin ?T ?ENG)         (instance ?CC CatalyticConverter)         (destination ?T ?CC)         (objectTransferred ?T ?E))     (hasPurpose ?CC         (exists (?C)             (and                 (instance ?C Combustion)                 (instrument ?C ?CC)                 (patient ?C ?E)                 (eventLocated ?C ?CC)))))	Cars.kif 1724-1740	Wenn korpuskularer Gegenstand ist ein fall von Exhaust und Fuel ist von ** korpuskularer Gegenstand gebildet und Uebertragung ist ein fall von Uebertragung und ** korpuskularer GegenstandNG ist ein fall von Engine und ** Uebertragung beginnet an ** korpuskularer GegenstandNG und koerperlicher Gegenstand ist ein fall von CatalyticConverter und ** Uebertragung endet an ** koerperlicher Gegenstand und objectTransferred ** Uebertragung and ** korpuskularer Gegenstand, dann ** koerperlicher Gegenstand hat Zweck von es gibt Wesen um ** Wesen ist ein fall von Verbrennung und ** koerperlicher Gegenstand ist ein instrument fuer ** Wesen und ** korpuskularer Gegenstand ist ein patient von ** Wesen und eventLocated ** Wesen and ** koerperlicher Gegenstand
(=>     (and         (instance ?E Matriculation)         (agent ?E ?C)         (patient ?E ?P)         (instance ?C College))     (exists (?G ?S)         (and             (instance ?G Graduation)             (agent ?G ?S)             (patient ?G ?P)             (instance ?S SecondarySchool)             (earlier                 (WhenFn ?G)                 (WhenFn ?E)))))	Mid-level-ontology.kif 18077-18089	Wenn Prozess ist ein fall von Immatrikulation und ** Prozess ist der agent von AutonomousAgent und Wesen ist ein patient von ** Prozess und ** AutonomousAgent ist ein fall von College , dann es gibt ** Prozess und ** AutonomousAgent um ** ** Prozess ist ein fall von Abschluss und ** ** Prozess ist der agent von ** ** AutonomousAgent und ** Wesen ist ein patient von ** ** Prozess und ** ** AutonomousAgent ist ein fall von SecondarySchool und die zeit des Bestehens von ** ** Prozess geschieht frueh als die zeit des Bestehens von ** Prozess
(=>     (and         (instance ?ECS EngineCoolingSystem)         (instance ?E Engine)         (instance ?A Automobile)         (part ?ECS ?A)         (part ?E ?A))     (hasPurpose ?ECS         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ECS)                 (patient ?C ?E)))))	Cars.kif 2126-2138	Wenn Gegenstand ist ein fall von EngineCoolingSystem und ** Gegenstand ist ein fall von Engine und ** Gegenstand ist ein fall von Automobile und ** Gegenstand ist ein teil von ** ** Gegenstand und ** ** Gegenstand ist ein teil von ** ** Gegenstand , dann ** Gegenstand hat Zweck von es gibt Wesen um ** Wesen ist ein fall von Abkuehlen und ** Gegenstand ist ein instrument fuer ** Wesen und ** ** Gegenstand ist ein patient von ** Wesen
(=>     (and         (instance ?EDUCATION EducationalProcess)         (patient ?EDUCATION ?PERSON))     (hasPurpose ?EDUCATION         (exists (?LEARN)             (and                 (instance ?LEARN Learning)                 (patient ?LEARN ?PERSON)))))	Merge.kif 11781-11789	Wenn Prozess ist ein fall von paedagogischer Prozess und Wesen ist ein patient von ** Prozess , dann ** Prozess hat Zweck von es gibt ** Wesen um ** ** Wesen ist ein fall von Lernen und ** Wesen ist ein patient von ** ** Wesen
(=>     (and         (instance ?EF Exfiltration)         (agent ?EF ?AGENT))     (exists (?PRET ?ENEMY)         (and             (instance ?PRET Pretending)             (agent ?PRET ?AGENT)             (patient ?PRET ?ENEMY)             (hasPurpose ?PRET                 (believes ?ENEMY                     (not                         (exists (?EF0)                             (equal ?EF0 ?EF))))))))	MilitaryProcesses.kif 257-270	Wenn Prozess ist ein fall von Exfiltration und ** Prozess ist der agent von AutonomousAgent , dann es gibt ** Prozess und Wesen um ** ** Prozess ist ein fall von Vortaeuschen und ** ** Prozess ist der agent von ** AutonomousAgent und ** Wesen ist ein patient von ** ** Prozess und ** ** Prozess hat Zweck von ** Wesen glaubt , dass es gibt nicht ** Prozess0 um ** Prozess0 ist gleich ** Prozess
(=>     (and         (instance ?ELT ExperiencingALumpInTheThroat)         (experiencer ?ELT ?A))     (exists (?P ?T)         (and             (instance ?P Perception)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Throat)             (part ?T ?A))))	emotion.kif 1710-1721	Wenn Prozess ist ein fall von ExperiencingALumpInTheThroat und AutonomousAgent erfaehrt ** Prozess , dann es gibt ** Prozess und Gegenstand um ** ** Prozess ist ein fall von Wahrnehmung und ** ** Prozess ist ein subProzess von ** Prozess und ** ** Prozess ist der agent von ** AutonomousAgent und ** Gegenstand ist ein patient von ** ** Prozess und ** Gegenstand ist ein fall von Throat und ** Gegenstand ist ein teil von ** AutonomousAgent
(=>     (and         (instance ?ELT ExperiencingDiscomfortInTheStomach)         (experiencer ?ELT ?A))     (exists (?P ?PAIN ?T)         (and             (instance ?P Perception)             (during                 (WhenFn ?P)                 (WhenFn ?PAIN))             (instance ?PAIN Pain)             (experiencer ?PAIN ?A)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (instance ?T Stomach)             (part ?T ?A))))	emotion.kif 1583-1597	Wenn Prozess ist ein fall von ExperiencingDiscomfortInTheStomach und AutonomousAgent erfaehrt ** Prozess , dann es gibt ** Prozess, ** ** ProzessAIN, and und Gegenstand um ** ** Prozess ist ein fall von Wahrnehmung und die zeit des Bestehens von ** ** Prozess geschieht waehrend die zeit des Bestehens von ** ** ProzessAIN und ** ** ProzessAIN ist ein fall von Pain und ** AutonomousAgent erfaehrt ** ** ProzessAIN und ** ** Prozess ist ein subProzess von ** Prozess und ** ** Prozess ist der agent von ** AutonomousAgent und ** Gegenstand ist ein patient von ** ** Prozess und ** Gegenstand ist ein fall von Stomach und ** Gegenstand ist ein teil von ** AutonomousAgent
(=>     (and         (instance ?ELT ExperiencingHeatInCheeksOrChest)         (experiencer ?ELT ?A))     (exists (?P ?T)         (and             (instance ?P Perception)             (subProcess ?P ?ELT)             (agent ?P ?A)             (patient ?P ?T)             (or                 (instance ?T Torso)                 (instance ?T Face))             (part ?T ?A))))	emotion.kif 1738-1751	Wenn Prozess ist ein fall von ExperiencingHeatInCheeksOrChest und AutonomousAgent erfaehrt ** Prozess , dann es gibt ** Prozess und Gegenstand um ** ** Prozess ist ein fall von Wahrnehmung und ** ** Prozess ist ein subProzess von ** Prozess und ** ** Prozess ist der agent von ** AutonomousAgent und ** Gegenstand ist ein patient von ** ** Prozess und ** Gegenstand ist ein fall von Torso oder ** Gegenstand ist ein fall von Face und ** Gegenstand ist ein teil von ** AutonomousAgent
(=>     (and         (instance ?EM EyeMotion)         (agent ?EM ?A))     (exists (?E)         (and             (instance ?E Eyelid)             (part ?E ?A)             (patient ?EM ?E))))	Mid-level-ontology.kif 21530-21538	Wenn Prozess ist ein fall von EyeMotion und ** Prozess ist der agent von AutonomousAgent , dann es gibt Gegenstand um ** Gegenstand ist ein fall von Eyelid und ** Gegenstand ist ein teil von ** AutonomousAgent und ** Gegenstand ist ein patient von ** Prozess
(=>     (and         (instance ?ENTER Matriculation)         (agent ?ENTER ?COLLEGE)         (patient ?ENTER ?STUDENT)         (instance ?COLLEGE College))     (exists (?GRAD ?SCHOOL)         (and             (instance ?GRAD Graduation)             (agent ?GRAD ?SCHOOL)             (patient ?GRAD ?STUDENT)             (instance ?SCHOOL HighSchool)             (earlier                 (WhenFn ?GRAD)                 (WhenFn ?ENTER)))))	Mid-level-ontology.kif 18058-18070	Wenn Prozess ist ein fall von Immatrikulation und ** Prozess ist der agent von AutonomousAgent und Wesen ist ein patient von ** Prozess und ** AutonomousAgent ist ein fall von College , dann es gibt ** Prozess und ** AutonomousAgent um ** ** Prozess ist ein fall von Abschluss und ** ** Prozess ist der agent von ** ** AutonomousAgent und ** Wesen ist ein patient von ** ** Prozess und ** ** AutonomousAgent ist ein fall von HighSchool und die zeit des Bestehens von ** ** Prozess geschieht frueh als die zeit des Bestehens von ** Prozess
(=>     (and         (instance ?ESCAPE Escaping)         (agent ?ESCAPE ?AGENT))     (exists (?CONFINE)         (and             (instance ?CONFINE Confining)             (patient ?CONFINE ?AGENT)             (meetsTemporally                 (WhenFn ?CONFINE)                 (WhenFn ?ESCAPE)))))	Mid-level-ontology.kif 18832-18840	Wenn Prozess ist ein fall von Escaping und ** Prozess ist der agent von AutonomousAgent , dann es gibt ** Prozess um ** ** Prozess ist ein fall von Begrenzen und ** AutonomousAgent ist ein patient von ** ** Prozess und die zeit des Bestehens von ** ** Prozess schliesst die zeit des Bestehens von ** Prozess zeitlich an
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?T ?TA)         (and             (instance ?T Transportation)             (destination ?T ?O)             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A))             (or                 (agent ?T ?TA)                 (patient ?T ?TA)))))	MilitaryProcesses.kif 2588-2603	Wenn Prozess ist ein fall von Evacuation und ** Prozess beginnet an Gegenstand und ** Prozess ist der agent von Organisation , dann es gibt ** Prozess und ** ** ProzessA um ** ** Prozess ist ein fall von Transport und ** ** Prozess endet an ** Gegenstand und subOrganization ** ** ProzessA and ** Organisation oder ** ** ProzessA ist ein Mitglied von ** Organisation oder ** ** ProzessA ist gleich ** Organisation und ** ** Prozess ist der agent von ** ** ProzessA oder ** ** ProzessA ist ein patient von ** ** Prozess
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option CallOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Buy)         (and             (instance ?Buy Buying)             (patient ?Buy ?Stocks)             (time ?Buy ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2771-2783	Wenn Prozess ist ein fall von ExerciseAnOption und Agreement ist ein patient von ** Prozess und ** Agreement hat ein attribut CallOption und ** Prozess besteht waehrend Zeitposition und underlier ** Agreement and FinancialInstrument, dann es gibt ** Prozess um ** ** Prozess ist ein fall von Kaufen und ** FinancialInstrument ist ein patient von ** ** Prozess und ** ** Prozess besteht waehrend ** Zeitposition und das mass von ** FinancialInstrument ist 100 ShareUnit(s)
(=>     (and         (instance ?Exercise ExerciseAnOption)         (patient ?Exercise ?Option)         (property ?Option PutOption)         (time ?Exercise ?Time)         (underlier ?Option ?Stocks))     (exists (?Sell)         (and             (instance ?Sell Selling)             (patient ?Sell ?Stocks)             (time ?Sell ?Time)             (measure ?Stocks                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2785-2797	Wenn Prozess ist ein fall von ExerciseAnOption und Agreement ist ein patient von ** Prozess und ** Agreement hat ein attribut PutOption und ** Prozess besteht waehrend Zeitposition und underlier ** Agreement and FinancialInstrument, dann es gibt ** Prozess um ** ** Prozess ist ein fall von Verkaufen und ** FinancialInstrument ist ein patient von ** ** Prozess und ** ** Prozess besteht waehrend ** Zeitposition und das mass von ** FinancialInstrument ist 100 ShareUnit(s)
(=>     (and         (instance ?F Folding)         (patient ?F ?O))     (exists (?C ?P1 ?P2)         (and             (instance ?C Covering)             (subProcess ?C ?F)             (part ?P1 ?O)             (part ?P2 ?O)             (instrument ?C ?P1)             (patient ?C ?P2))))	Mid-level-ontology.kif 3612-3623	Wenn Prozess ist ein fall von Folding und Gegenstand ist ein patient von ** Prozess , dann es gibt ** Prozess, ** Gegenstand, and und ** Gegenstand um ** ** Prozess ist ein fall von Bedecken und ** ** Prozess ist ein subProzess von ** Prozess und ** ** Gegenstand ist ein teil von ** Gegenstand und ** ** Gegenstand ist ein teil von ** Gegenstand und ** ** Gegenstand ist ein instrument fuer ** ** Prozess und ** ** Gegenstand ist ein patient von ** ** Prozess
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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