before - Sigma Knowledge base Browser

appearance as argument number 1

(documentation before ChineseLanguage "(before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时间轴上比 ?POINT2 先开始。")	chinese_format.kif 2707-2708
(documentation before EnglishLanguage "(before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.")	Merge.kif 8140-8141
(documentation before JapaneseLanguage "(before ?POINT1 ?POINT2) とは、?POINT1が、ユニバーサルタイムラインで ?POINT2に先行する、という意味である。")	japanese_format.kif 1430-1431
(domain before 1 TimePoint)	Merge.kif 8137-8137	Die Zahl 1 Argument von before ist ein fall von TimePoint %n{nicht}
(domain before 2 TimePoint)	Merge.kif 8138-8138	Die Zahl 2 Argument von before ist ein fall von TimePoint %n{nicht}
(instance before IrreflexiveRelation)	Merge.kif 8133-8133	before ist ein fall von IrreflexiveRelation %n{nicht}
(instance before TemporalRelation)	Merge.kif 8132-8132	before ist ein fall von TemporalRelation %n{nicht}
(instance before TransitiveRelation)	Merge.kif 8134-8134	before ist ein fall von TransitiveRelation %n{nicht}
(relatedInternalConcept before earlier)	Merge.kif 8136-8136	before ist innerlich verwandt mit earlier %n{nicht}
(subrelation before beforeOrEqual)	Merge.kif 8135-8135	before ist eine teilrelation von beforeOrEqual

appearance as argument number 2

(format ChineseLanguage before "%1%n在%2before发生")	chinese_format.kif 423-423
(format EnglishLanguage before "%1 %n{doesn't} happen%p{s} before %2")	english_format.kif 429-429
(format FrenchLanguage before "%1 %n{ne} se produit %n{pas} avant %2")	french_format.kif 246-246
(format ItalianLanguage before "%1 %n{non} succede%{s} prima di %2")	relations-it.txt 32-32
(format JapaneseLanguage before "%1 は %2 の before に happen%p{s} %n{ない}")	japanese_format.kif 2040-2040
(format PortugueseLanguage before "%1 %n{nao} comeca %n antes de %2")	portuguese_format.kif 198-198
(format cb before "%1 %n{dili} nahimo una sa %2")	relations-cb.txt 66-66
(format cz before "%1 %n{doesn't} happen%p{s} before %2'")	relations-cz.txt 251-251
(format de before "%1 geschieht vor %2 %n{nicht}")	relations-de.txt 550-550
(format hi before "%1 %2 ke pahale %n{nahiin} ghaTita hotaa hai")	relations-hindi.txt 76-76
(format ro before "%1 %n{nu} happen%t{se întâmplã} before%t{înainte de} %2")	relations-ro.kif 267-267
(format sv before "%1 inträffar %n{inte} före %2")	relations-sv.txt 267-267
(format tg before "%1 %n{hindi} nagaanap bago sa %2")	relations-tg.txt 80-80
(termFormat ChineseLanguage before "之前")	chinese_format.kif 424-424
(termFormat ChineseTraditionalLanguage before "之前")	domainEnglishFormat.kif 10534-10534
(termFormat EnglishLanguage before "before")	domainEnglishFormat.kif 10533-10533
(termFormat tg before "nagaanap bago")	relations-tg.txt 81-81

antecedent

(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2))	Merge.kif 8122-8130	Wenn der anfang von TimeInterval geschieht vor der anfang von TimeInterval %n{nicht} und das ende von TimeInterval ist gleich das ende von TimeInterval %n{nicht}, dann TimeInterval beendet ** TimeInterval %n{nicht}
(=> (and (before ?POINT1 ?POINT2) (before ?POINT2 ?POINT3)) (temporallyBetween ?POINT1 ?POINT2 ?POINT3))	Merge.kif 8212-8216	Wenn TimePoint geschieht vor TimePoint %n{nicht} und TimePoint geschieht vor TimePoint %n{nicht}, dann TimePoint ist zwischen TimePoint und ** TimePoint
(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (starts ?INTERVAL1 ?INTERVAL2))	Merge.kif 8090-8098	Wenn der anfang von TimeInterval ist gleich der anfang von TimeInterval %n{nicht} und das ende von TimeInterval geschieht vor das ende von TimeInterval %n{nicht}, dann TimeInterval beginnt ** TimeInterval %n{nicht}
(=> (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 ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1087-1099	Wenn FinancialAccount ist ein fall von CertificateOfDeposit %n{nicht} und maturityDate FinancialAccount and Day und Process ist ein fall von Withdrawal %n{nicht} und Process beginnet an CurrencyFn FinancialAccount %n{nicht} und datum von Process ist Day %n{nicht} und das ende von Day geschieht vor der anfang von Day %n{nicht}, dann es gibt Process um Process ist ein fall von Penalty %n{nicht} und Process endet an CurrencyFn FinancialAccount %n{nicht} und Process verursacht ** Process %n{nicht}
(=> (and (instance ?F Flooding) (instance ?L LandArea) (eventLocated ?F ?L) (instance ?T TimePoint) (before ?T (WhenFn ?F))) (modalAttribute (holdsDuring ?T (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 1581-1591	Wenn Process ist ein fall von Flooding %n{nicht} und Object ist ein fall von LandArea %n{nicht} und eventLocated Process and Object und TimePoint ist ein fall von TimePoint %n{nicht} und TimePoint geschieht vor die zeit des Bestehens von Process %n{nicht}, dann die Aussage Object ist ein fall von SubmergedLandArea %n{nicht} haelt waehrend TimePoint %n{nicht} hat die modale Kraft von Unlikely
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	Wenn TimeInterval ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval_CLASS ist eine teilkategorie von Process und AccessingWebPage ist ein fall von AccessingWebPage %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und AccessingWebPage ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht waehrend AccessingWebPage %n{nicht} und Physical ist ein fall von TimeInterval %n{nicht} und es gibt nicht TimeInterval2 um TimeInterval2 ist ein fall von TimeInterval_CLASS %n{nicht} und TimeInterval2 ist der agent von AutonomousAgent %n{nicht} und TimeInterval2 geschieht waehrend AccessingWebPage %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval2 geschieht vor der anfang von die zeit des Bestehens von TimeInterval %n{nicht} und der anfang von die zeit des Bestehens von AccessingWebPage ist gleich der anfang von die zeit des Bestehens von Physical %n{nicht} und der anfang von die zeit des Bestehens von TimeInterval ist gleich das ende von die zeit des Bestehens von Physical %n{nicht}, dann TTFxFn TimeInterval_CLASS and AccessingWebPage ist gleich Physical %n{nicht}
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1))	Merge.kif 8305-8315	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht} und der anfang von TimeInterval geschieht vor oder gleichzeitig mit der anfang von TimeInterval %n{nicht} und der anfang von TimeInterval geschieht vor das ende von TimeInterval %n{nicht}, dann TimeInterval deckt sich mit TimeInterval %n{nicht}
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2669-2685	Wenn Agreement hat ein attribut Option %n{nicht} und optionHolder Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht} und underlier Agreement and FinancialInstrument, dann CognitiveAgent hat das Recht, die kategorie die SymbolicString beschreibt durchzufuehren %n{nicht}
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2623-2639	Wenn Agreement hat ein attribut Option %n{nicht} und optionHolder Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und underlier Agreement and FinancialInstrument und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht}, dann CognitiveAgent hat das Recht, die kategorie die SymbolicString beschreibt durchzufuehren %n{nicht}
(=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2687-2703	Wenn Agreement hat ein attribut Option %n{nicht} und optionSeller Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht} und underlier Agreement and FinancialInstrument, dann CognitiveAgent wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (and (property ?Option Option) (optionSeller ?Option ?Seller) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Seller))	FinancialOntology.kif 2641-2659	Wenn Agreement hat ein attribut Option %n{nicht} und optionSeller Agreement and CognitiveAgent und strikePrice Agreement and CurrencyMeasure und agreementExpirationDate Agreement and TimeInterval und underlier Agreement and FinancialInstrument und price FinancialInstrument, CurrencyMeasure and AutonomousAgent und AutonomousAgent ist ein fall von TimeInterval %n{nicht} und das ende von AutonomousAgent geschieht vor der anfang von TimeInterval %n{nicht}, dann CognitiveAgent wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=> (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (instance ?Account FinancialAccount) (destination ?Payment (CurrencyFn ?Account)) (amountDue ?Account ?Amount ?DueDate) (before (EndFn ?Date) (BeginFn ?DueDate))) (instance ?Payment Prepayment))	FinancialOntology.kif 834-842	Wenn transactionAmount FinancialTransaction and CurrencyMeasure und datum von FinancialTransaction ist Day %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und FinancialTransaction endet an CurrencyFn FinancialAccount %n{nicht} und amountDue FinancialAccount, CurrencyMeasure and TimeInterval und das ende von Day geschieht vor der anfang von TimeInterval %n{nicht}, dann FinancialTransaction ist ein fall von Prepayment %n{nicht}
(=> (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (earlier ?INTERVAL1 ?INTERVAL2))	Merge.kif 8418-8420	Wenn das ende von TimeInterval geschieht vor der anfang von TimeInterval %n{nicht}, dann TimeInterval geschieht frueh als TimeInterval %n{nicht}
(=> (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)) (beforeOrEqual ?POINT1 ?POINT2))	Merge.kif 8187-8191	Wenn TimePoint geschieht vor TimePoint %n{nicht} oder TimePoint ist gleich TimePoint %n{nicht}, dann TimePoint geschieht vor oder gleichzeitig mit ** TimePoint %n{nicht}

consequent

(=> (albumRelease ?A ?T) (and (exists (?R1 ?DS1) (releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T)) (not (exists (?B ?R2 ?DS2) (and (before ?B ?T) (releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))	Music.kif 261-270	Wenn albumRelease Album and TimePoint, dann es gibt GeographicArea und DataStorageDevice um releaseForSale AlbumCopiesFn Album and DataStorageDevice, GeographicArea and TimePoint und es gibt nicht TimePoint, GeographicArea, and und DataStorageDevice um TimePoint geschieht vor TimePoint %n{nicht} und releaseForSale AlbumCopiesFn Album and DataStorageDevice, GeographicArea and ** TimePoint
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 6225-6238	Wenn allergic Human and Substance und SubstanceUB ist ein fall von Substance %n{nicht} und SubstanceUB schliesst Human raeumlich an haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von AllergicReaction %n{nicht} und Human erfaehrt entity %n{nicht} und die zeit des Bestehens von entity deckt sich mit TimePosition %n{nicht} und der anfang von TimePosition geschieht vor der anfang von die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Likely
(=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM)))))	Music.kif 457-470	Wenn CoverRecording ist ein attribut von MusicRecording %n{nicht} und MusicRecording ist ein fall von MusicRecording %n{nicht} und songArtist MusicRecording and CognitiveAgent und musicInterpretation MusicRecording and Music und record MusicRecording and MusicM, dann es gibt MusicRecording, CognitiveAgentRTIST, and und MusicUSIC um musicInterpretation MusicRecording and Music und songArtist MusicRecording and CognitiveAgentRTIST und CognitiveAgent ist gleich CognitiveAgentRTIST nicht und record MusicRecording and MusicUSIC und die zeit des Bestehens von MusicUSIC geschieht vor die zeit des Bestehens von ** MusicM %n{nicht}
(=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T)))))	Hotel.kif 684-695	Wenn checkOutTime CognitiveAgent and TimePoint und guest CognitiveAgent and CognitiveAgent, dann expects CognitiveAgent and es gibt entity und entity um entity ist ein fall von TimePoint %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und entity ist ein fall von CheckOutService %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor entity %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 (earlier ?TI1 ?TI2) (instance ?P1 TimePoint) (instance ?P2 TimePoint) (temporalPart ?P1 ?TI1) (temporalPart ?P2 ?TI2)) (before ?P1 ?P2))	Merge.kif 8317-8324	Wenn TimeInterval geschieht frueh als TimeInterval %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und TimePoint ist ein fall von TimePoint %n{nicht} und TimePoint ist ein teil von TimeInterval %n{nicht} und TimePoint ist ein teil von TimeInterval %n{nicht}, dann TimePoint geschieht vor ** TimePoint %n{nicht}
(=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	Merge.kif 15561-15578	Wenn ausgabe PositiveInteger von ContentBearingObject ist gleich ContentBearingObject %n{nicht} und ausgabe PositiveInteger von ContentBearingObject ist gleich ContentBearingObject %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht} und Process ist ein fall von Publication %n{nicht} und Process ist ein fall von Publication %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und Entity ist ein fall von ContentBearingObject %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und datum von Process ist Day %n{nicht} und datum von Process ist Day %n{nicht}, dann das ende von Day geschieht vor das ende von ** Day %n{nicht}
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 22972-22977	Wenn TimePoint ist gleich der anfang von die zeit des Bestehens von Process %n{nicht} und TimePoint ist gleich das ende von die zeit des Bestehens von AutonomousAgent %n{nicht} und benefits Process and AutonomousAgent, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 29646-29655	Wenn TimePoint ist gleich der anfang von die zeit des Bestehens von Process %n{nicht} und TimePoint ist gleich das ende von die zeit des Bestehens von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (equal ?T1 (BeginFn ?D1)) (equal ?T2 (BeginFn ?D2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2))	Merge.kif 8758-8765	Wenn TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht}, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period))))	FinancialOntology.kif 1615-1624	Wenn FinancialAccount ist ein fall von InterestOnlyLoan %n{nicht} und agreementPeriod FinancialAccount and TimeInterval und principalAmount FinancialAccount and CurrencyMeasure und interestEarned FinancialAccount, Interest and TimeInterval, dann amountDue FinancialAccount, CurrencyMeasure and das ende von TimeInterval und amountDue FinancialAccount, Interest and TimeInterval und das ende von TimeInterval geschieht vor das ende von ** TimeInterval %n{nicht}
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (equal ?T1 (BeginFn ?M1)) (equal ?T2 (BeginFn ?M2)) (successorClass ?N1 ?N2)) (before ?T1 ?T2))	Merge.kif 8742-8749	Wenn TimeInterval ist ein fall von der monat Month %n{nicht} und TimeInterval ist ein fall von der monat Month %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und successorClass Month and Month, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))	Merge.kif 7923-7927	Wenn TimePoint ist ein fall von TimePoint %n{nicht} und TimePoint ist gleich NegativeInfinity nicht, dann NegativeInfinity geschieht vor TimePoint %n{nicht}
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (before ?POINT PositiveInfinity))	Merge.kif 7905-7909	Wenn TimePoint ist ein fall von TimePoint %n{nicht} und TimePoint ist gleich PositiveInfinity nicht, dann TimePoint geschieht vor PositiveInfinity %n{nicht}
(=> (and (instance ?REMEMBER Remembering) (patient ?REMEMBER ?FORMULA)) (exists (?TIME) (and (holdsDuring ?TIME ?FORMULA) (or (before ?TIME (WhenFn ?REMEMBER)) (earlier ?TIME (WhenFn ?REMEMBER))))))	Merge.kif 12209-12218	Wenn Process ist ein fall von Remembering %n{nicht} und Formula ist ein patient von Process %n{nicht}, dann es gibt TimeInterval um Formula haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht vor die zeit des Bestehens von Process %n{nicht} oder TimeInterval geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?SHOCK Aftershock) (eventLocated ?SHOCK ?PLACE)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (eventLocated ?TREMOR ?PLACE) (before (WhenFn ?TREMOR) (WhenFn ?SHOCK)))))	Geography.kif 2328-2338	Wenn Process ist ein fall von Aftershock %n{nicht} und eventLocated Process and Object, dann es gibt Process um Process ist ein fall von EarthTremor %n{nicht} und eventLocated Process and Object und die zeit des Bestehens von Process geschieht vor die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?TI TimeInterval) (equal ?S (BeginFn ?TI)) (equal ?E (EndFn ?TI))) (before ?S ?E))	Merge.kif 8298-8303	Wenn TimeInterval ist ein fall von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich das ende von TimeInterval %n{nicht}, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (instance ?X Buffet) (member ?ITEM ?X) (located ?X ?LOC1) (instance ?E Eating) (agent ?E ?AGENT) (eventLocated ?E ?LOC2) (patient ?E ?ITEM)) (and (not (equal ?LOC1 ?LOC2)) (exists (?G) (and (instance ?G Getting) (patient ?G ?ITEM) (origin ?G ?LOC1) (agent ?G ?AGENT) (before (WhenFn ?G) (WhenFn ?E))))))	Dining.kif 274-291	Wenn Collection ist ein fall von Buffet %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Collection befindet sich an %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und eventLocated Process and Object und Physical ist ein patient von Process %n{nicht}, dann Object ist gleich Object nicht und es gibt Process um Process ist ein fall von Getting %n{nicht} und Physical ist ein patient von Process %n{nicht} und Process beginnet an Object %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht vor die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL))))))	Mid-level-ontology.kif 27006-27032	Wenn Physical ist ein fall von SurveillanceSystem %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Collection befindet sich an %n{nicht} und Collection ist ein fall von Camera %n{nicht} und Collection befindet sich an %n{nicht} und Object ist gleich Object nicht und Collection ist ein fall von VideoDisplay %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und eventLocated entity and Object und entity drueckt entity aus und Camera ist ein instrument fuer entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und entity ist ein fall von RadiatingLight %n{nicht} und Collection ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und der anfang von entity geschieht vor der anfang von entity %n{nicht} und der anfang von entity geschieht vor der anfang von ** entity %n{nicht} %n{nicht}
(=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (equal ?T1 (BeginFn ?Y1)) (equal ?T2 (BeginFn ?Y2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2))	Merge.kif 8726-8733	Wenn TimeInterval ist ein fall von das jahr Integer %n{nicht} und TimeInterval ist ein fall von das jahr Integer %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und Integer ist groesserAls Integer %n{nicht}, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (property ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))) ?Agent))	FinancialOntology.kif 2788-2800	Wenn Agreement hat ein attribut AmericanStyleOption %n{nicht} und optionHolder Agreement and CognitiveAgent und agreementExpirationDate Agreement and TimePoint, dann CognitiveAgent hat das Recht, es gibt entity um entity ist ein fall von ExerciseAnOption %n{nicht} und Agreement ist ein patient von entity %n{nicht} und das ende von die zeit des Bestehens von entity geschieht vor das ende von TimePoint %n{nicht} durchzufuehren %n{nicht}
(=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	Mid-level-ontology.kif 14651-14665	Wenn Series ist eine teilkategorie von Periodical und Band PositiveInteger in der reihe Series ist gleich Text %n{nicht} und Band PositiveInteger in der reihe Series ist gleich Text %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht} und Process ist ein fall von Publication %n{nicht} und Process ist ein fall von Publication %n{nicht} und Entity ist ein fall von Text %n{nicht} und Entity ist ein fall von Text %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und datum von Process ist Day %n{nicht} und datum von Process ist Day %n{nicht}, dann das ende von Day geschieht vor das ende von ** Day %n{nicht}
(=> (beforeOrEqual ?POINT1 ?POINT2) (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)))	Merge.kif 8181-8185	Wenn TimePoint geschieht vor oder gleichzeitig mit TimePoint %n{nicht}, dann TimePoint geschieht vor TimePoint %n{nicht} oder TimePoint ist gleich ** TimePoint %n{nicht}
(=> (burnInPeriod ?EXP ?INTERVAL) (before (EndFn ?INTERVAL) (EndFn (WhenFn ?EXP))))	UXExperimentalTerms.kif 4317-4321	Wenn burnInPeriod Experimenting and TimeInterval, dann das ende von TimeInterval geschieht vor das ende von die zeit des Bestehens von Experimenting %n{nicht}
(=> (checkInTime ?HOTEL ?TIME) (modalAttribute (exists (?T ?C) (and (instance ?T ?TIME) (instance ?C CheckInService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))) Unlikely))	Hotel.kif 667-675	Wenn checkInTime Organization and TimePoint, dann die Aussage es gibt entity und entity um entity ist ein fall von TimePoint %n{nicht} und entity ist ein fall von CheckInService %n{nicht} und entity ist der agent von Organization %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor entity %n{nicht} hat die modale Kraft von Unlikely

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: