Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
before
Sigma KEE - before
before
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 8104-8105
(
documentation
before
JapaneseLanguage
"(
before
?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。")
japanese_format.kif 1430-1431
(
domain
before
1
TimePoint
)
Merge.kif 8101-8101
Die Zahl 1 Argument von
before
ist ein
fall
von
TimePoint
%n{nicht}
(
domain
before
2
TimePoint
)
Merge.kif 8102-8102
Die Zahl 2 Argument von
before
ist ein
fall
von
TimePoint
%n{nicht}
(
instance
before
IrreflexiveRelation
)
Merge.kif 8097-8097
before
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
before
TemporalRelation
)
Merge.kif 8096-8096
before
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
before
TransitiveRelation
)
Merge.kif 8098-8098
before
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
relatedInternalConcept
before
earlier
)
Merge.kif 8100-8100
before
ist innerlich verwandt mit
earlier
%n{nicht}
(
subrelation
before
beforeOrEqual
)
Merge.kif 8099-8099
before
ist eine
teilrelation
von
beforeOrEqual
appearance as argument number 2
(
format
ChineseLanguage
before
"%1%n在%2
before
发生")
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 8086-8094
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 8176-8180
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 8054-8062
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 501-514
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
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %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 1598-1608
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
** TimeInterval
2 um
** TimeInterval
2 ist ein
fall
von
** TimeInterval
_CLASS %n{nicht} und
** TimeInterval
2 ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
2 geschieht
waehrend
** AccessingWebPage
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** TimeInterval
2 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 8269-8279
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 8382-8384
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 8151-8155
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 6231-6244
Wenn
allergic
Human
and
** Substance
und
** Substance
UB ist ein
fall
von
** ** Substance
%n{nicht} und
** ** Substance
UB
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
** Music
M,
dann es gibt
** MusicRecording
,
** CognitiveAgent
RTIST, and und
** Music
USIC um
musicInterpretation
** ** MusicRecording
and
** Music
und
songArtist
** ** MusicRecording
and
** CognitiveAgent
RTIST und
** CognitiveAgent
ist gleich
** CognitiveAgent
RTIST nicht und
record
** ** MusicRecording
and
** Music
USIC und die
zeit
des Bestehens von
** Music
USIC geschieht
vor
die
zeit
des Bestehens von
** Music
M %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 8281-8288
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 15515-15532
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 22920-22925
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 29595-29604
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 8722-8729
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 8706-8713
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 7887-7891
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 7869-7873
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 12163-12172
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 8262-8267
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 26973-26999
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 8690-8697
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 14624-14638
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 8145-8149
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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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