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
ImmediateFutureFn
Sigma KEE - ImmediateFutureFn
ImmediateFutureFn
appearance as argument number 1
(
documentation
ImmediateFutureFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
和紧随这个
TimePosition
的一个既短而又不确定的
TimeInterval
。")
chinese_format.kif 2745-2746
(
documentation
ImmediateFutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to a short, indeterminate
TimeInterval
that immediately follows the
TimePosition
.")
Merge.kif 8531-8533
(
documentation
ImmediateFutureFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を、
TimePosition
の直後に続く短い不確定
TimeInterval
にマップする。")
japanese_format.kif 1471-1472
(
domain
ImmediateFutureFn
1
TimePosition
)
Merge.kif 8528-8528
Die Zahl 1 Argument von
ImmediateFutureFn
ist ein
fall
von
TimePosition
%n{nicht}
(
instance
ImmediateFutureFn
TemporalRelation
)
Merge.kif 8525-8525
ImmediateFutureFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
ImmediateFutureFn
TotalValuedRelation
)
Merge.kif 8527-8527
ImmediateFutureFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
ImmediateFutureFn
UnaryFunction
)
Merge.kif 8526-8526
ImmediateFutureFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ImmediateFutureFn
TimeInterval
)
Merge.kif 8529-8529
bildbereich
von
ImmediateFutureFn
ist ein fall von
TimeInterval
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
ImmediateFutureFn
"紧接 %1 after")
chinese_format.kif 463-463
(
format
EnglishLanguage
ImmediateFutureFn
"immediately after %1")
english_format.kif 469-469
(
format
FrenchLanguage
ImmediateFutureFn
"immediatement apr�s %1")
french_format.kif 268-268
(
format
ItalianLanguage
ImmediateFutureFn
"immediatamente dopo %1")
relations-it.txt 137-137
(
format
JapaneseLanguage
ImmediateFutureFn
"%1 の すぐ after")
japanese_format.kif 2058-2058
(
format
PortugueseLanguage
ImmediateFutureFn
"imediatemente apos %1")
portuguese_format.kif 220-220
(
format
cz
ImmediateFutureFn
"pr�v� po %1'")
relations-cz.txt 274-274
(
format
de
ImmediateFutureFn
"sofort nach %1")
relations-de.txt 605-605
(
format
hi
ImmediateFutureFn
"%1 ke tatkaala baada")
relations-hindi.txt 176-176
(
format
ro
ImmediateFutureFn
"imediat after%t{dupã} %1")
relations-ro.kif 289-289
(
format
sv
ImmediateFutureFn
"omedelbart efter %1")
relations-sv.txt 295-295
(
format
tg
ImmediateFutureFn
"pagkatopos ng agad sa %1")
relations-tg.txt 278-278
(
termFormat
ChineseLanguage
ImmediateFutureFn
"眼前的未来")
domainEnglishFormat.kif 29349-29349
(
termFormat
ChineseLanguage
ImmediateFutureFn
"紧接未来函数")
chinese_format.kif 464-464
(
termFormat
ChineseTraditionalLanguage
ImmediateFutureFn
"眼前的未來")
domainEnglishFormat.kif 29348-29348
(
termFormat
EnglishLanguage
ImmediateFutureFn
"immediate future")
domainEnglishFormat.kif 29347-29347
(
termFormat
tg
ImmediateFutureFn
"tungkulin ng pagkatopos ng agad")
relations-tg.txt 279-279
antecedent
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
Wenn
Booting
ist ein
attribut
von
EngineeringComponent
%n{nicht} haelt
waehrend
Physical
%n{nicht} und
HostReady
ist ein
attribut
von
** EngineeringComponent
%n{nicht} haelt
waehrend
** Physical
2 %n{nicht} und
** Physical
2 ist gleich sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** EngineeringComponent
ist ein
fall
von
ComputerDisplay
%n{nicht} und
** ** EngineeringComponent
wird mit
** EngineeringComponent
angeschlossen,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
HomeScreen
%n{nicht} und
displayedUpon
** entity
and
** ** EngineeringComponent
hat die modale Kraft von
Likely
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Wenn
Object
ist ein
fall
von
Antacid
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
** Object
ist ein
fall
von
Stomach
%n{nicht} und
** ** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Motion
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} und
phMeasure
** ** Object
and
RealNumber
und
phMeasure
** ** Object
and
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Wenn
Object
ist ein
fall
von
ProtonPumpInhibitor
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
** Object
ist ein
fall
von
Stomach
%n{nicht} und
** ** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Motion
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} und
phMeasure
** ** Object
and
RealNumber
und
phMeasure
** ** Object
and
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
Wenn
ComputerProcess
ist ein
fall
von
DataCompression
%n{nicht} und
dataProcessed
** ComputerProcess
and
DigitalData
und
memorySize
** DigitalData
and
RealNumber
entity
(s) haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** ComputerProcess
%n{nicht} und
memorySize
** DigitalData
and
** RealNumber
** entity
(s) haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** ComputerProcess
%n{nicht},
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Wenn
Process
ist ein
fall
von
Deposition
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
RealNumber
Joule
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
Joule
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Wenn
Process
ist ein
fall
von
Motion
%n{nicht} und
** Process
ist ein
fall
von
Tremor
%n{nicht} und
Object
ist ein
fall
von
Damper
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** ** Process
and
RealNumber
** Entity
(s) haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
physicalAmplitude
** ** Process
and
** RealNumber
** Entity
(s) haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Wenn
Process
ist ein
fall
von
Impacting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
ImpairedBodyPartFn
Brain
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann die Aussage
Concussion
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Wenn
Object
ist ein
fall
von
Lever
%n{nicht} und
Process
ist ein
fall
von
Pushing
%n{nicht} und
Physical
ist ein
fall
von
Motion
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** Process
endet an
** Object
%n{nicht} und
physicalEnd
** ** Object
and
** Object
und
physicalEnd
** Object
and
** Object
und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht} und der
abstand
zwischen
** Process
1 und
** Process
2 ist
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Process
3 und
** Process
4 ist
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
Wenn
Process
ist ein
fall
von
LoggingIn
%n{nicht} und
hasAccount
AutonomousAgent
and
UserAccount
und
accountAtSite
** UserAccount
and
WebSite
und
TimeInterval
ist gleich sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** WebSite
ist ein
patient
von
** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Wenn
Process
ist ein
fall
von
LoggingIn
%n{nicht} und
hasAccount
AutonomousAgent
and
UserAccount
und
deviceAccount
** UserAccount
and
Computer
und
TimeInterval
ist gleich sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Computer
ist ein
instrument
fuer
** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10555-10570
Wenn
Process
ist ein
fall
von
MuscleRelaxing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Muscle
%n{nicht} und die
laenge
von
** Entity
ist
RealNumber
** entity
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** RealNumber
** ** entity
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10533-10548
Wenn
Process
ist ein
fall
von
MuscularContraction
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Muscle
%n{nicht} und die
laenge
von
** Entity
ist
RealNumber
** entity
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** RealNumber
** ** entity
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1987-1999
Wenn
Entity
ist ein
fall
von
SelfConnectedObject
%n{nicht} und
Process
ist ein
fall
von
Compressing
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
RealNumber
** Entity
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** Entity
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** ** Entity
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Wenn
Process
ist ein
fall
von
Sublimation
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
RealNumber
Joule
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
Joule
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
Wenn
agreementRevisionDate
Proposition
,
** TimePosition
and
** Proposition
,
dann es gibt
** TimePosition
um
** ** TimePosition
ist ein
fall
von
** TimePosition
%n{nicht} und
** ** Proposition
ist eine
teilangelegenheit
von
** Proposition
nicht haelt
waehrend
direkt
vor
** ** TimePosition
%n{nicht} und
** ** Proposition
ist eine
teilangelegenheit
von
** Proposition
%n{nicht} haelt
waehrend
sofort
nach
** ** TimePosition
%n{nicht} oder
** ** Proposition
ist eine
teilangelegenheit
von
** Proposition
%n{nicht} haelt
waehrend
direkt
vor
** ** TimePosition
%n{nicht} und
** ** Proposition
ist eine
teilangelegenheit
von
** Proposition
nicht haelt
waehrend
sofort
nach
** ** TimePosition
%n{nicht}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
zwingt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
Wenn
agreementEffectiveDate
Agreement
and
TimePoint
und
** Agreement
erlaubt
CognitiveAgent
, die Aufgabe der Art von
Formula
durchzuf�hren %n{nicht} und
TimePosition
ist ein
fall
von
** TimePoint
%n{nicht},
dann
** CognitiveAgent
hat das
Recht
,
** Formula
durchzufuehren %n{nicht} haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Wenn
Process
ist ein
fall
von
Appointing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** entity
und
** entity
um nicht
** Entity
besetzt die
position
von
** ** entity
in
** ** entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
besetzt die
position
von
** ** entity
in
** ** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
Wenn
Process
ist ein
fall
von
ActivatingADeactivatedAccount
%n{nicht} und
Entity
ist ein
fall
von
UserAccount
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
AccountDeactivated
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
AccountActive
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Wenn
Process
ist ein
fall
von
Braking
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
RealNumber
MilesPerHour
(s) ist gleich
AccelerationFn
** entity
,
** entity
,
** Entity
and
** entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
MilesPerHour
(s) ist gleich
AccelerationFn
** ** entity
,
** ** entity
,
** Entity
and
** ** entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
Wenn
FinancialAccount
ist ein
fall
von
SecuredBond
%n{nicht} und
securedBy
** FinancialAccount
and
Collateral
und
AutonomousAgent
besitzt
** FinancialAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialDefault
%n{nicht} und
** FinancialAccount
ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
besitzt
** Collateral
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Wenn
Process
ist ein
fall
von
Covering
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
Object
ist ein
instrument
fuer
** Process
%n{nicht},
dann
covers
** Object
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Wenn
Process
ist ein
fall
von
Cricothyroidotomy
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Process
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
ImpairmentFn
Breathing
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und es gibt
** ** entity
um
** ** entity
ist ein
fall
von
ImpairmentFn
Breathing
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
nicht %n{nicht}
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Wenn
Entity
ist ein
fall
von
COVIDAntibody
%n{nicht} und
Covid19
ist ein
attribut
von
** entity
nicht und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
Covid19
ist ein
attribut
von
** ** entity
%n{nicht} hat die modale Kraft von
Unlikely
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4123-4135
Wenn
Process
ist ein
fall
von
ChangingAccountInfo
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
hasAccount
** AutonomousAgent
and
UserAccount
und
accountInformation
** UserAccount
and
Proposition
,
dann es gibt
entity
um
** entity
ist gleich
** Proposition
nicht und
accountInformation
** UserAccount
and
** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4079-4092
Wenn
Process
ist ein
fall
von
ChangingPassword
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
hasAccount
** AutonomousAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
,
dann es gibt
entity
um
** entity
ist ein
fall
von
ComputerPassword
%n{nicht} und
** entity
ist gleich
** ComputerPassword
nicht und
password
** entity
and
** UserAccount
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4101-4114
Wenn
Process
ist ein
fall
von
ChangingUserName
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
hasAccount
** AutonomousAgent
and
UserAccount
und
userName
** UserAccount
and
UserName
,
dann es gibt
entity
um
** entity
ist ein
fall
von
UserName
%n{nicht} und
** entity
ist gleich
** UserName
nicht und
userName
** UserAccount
and
** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4143-4153
Wenn
Process
ist ein
fall
von
CreatingAnAccount
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
entity
,
** entity
, and und
** entity
um
hasAccount
** AutonomousAgent
and
** entity
und
password
** ** entity
and
** entity
und
userName
** entity
and
** ** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Closing
ClosingAnAccount
)
(
patient
?Closing ?Account))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Closing))
(
instance
?Account
FinancialAccount
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Closing))
(
not
(
instance
?Account
FinancialAccount
)))))
FinancialOntology.kif 391-401
Wenn
Process
ist ein
fall
von
ClosingAnAccount
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
FinancialAccount
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
FinancialAccount
nicht haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Wenn
Process
ist ein
fall
von
DeletingAnAccount
%n{nicht} und
Entity
ist ein
fall
von
Account
%n{nicht} und
hasAccount
AutonomousAgent
and
** Entity
haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
hasAccount
** AutonomousAgent
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 30079-30087
Wenn
Process
ist ein
fall
von
Damaging
%n{nicht} und
Entity
ist ein
fall
von
Device
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
DeviceDamaged
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4498-4507
Wenn
Process
ist ein
fall
von
DeactivatingAnAccount
%n{nicht} und
Entity
ist ein
fall
von
UserAccount
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
AccountDeactivated
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
AccountActive
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
Wenn
Process
ist ein
fall
von
Death
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organism
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
Entity
und
** entity
um
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
OrganicObject
%n{nicht} und
Dead
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
wenn
** ** entity
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** entity
ist ein
teil
von
** AutonomousAgent
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
Wenn
FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
Evacuee
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
Wenn
Object
ist ein
fall
von
Faucet
%n{nicht} und
Process
ist ein
fall
von
LiquidMotion
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
befindet
sich an %n{nicht},
dann es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Tube
%n{nicht} und
contains
** ** entity
and
** Entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
Wenn
Process
ist ein
fall
von
Forgetting
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
entity
um
** AutonomousAgent
kennt
** entity
nicht haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
** AutonomousAgent
kennt
** entity
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
Wenn
TelecomNumber
ist ein
fall
von
Hotline
%n{nicht} und
telephoneNumber
** TelecomNumber
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** TelecomNumber
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Telephoning
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} und die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Communication
%n{nicht} und
** TelecomNumber
ist ein
instrument
fuer
** ** entity
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** entity
ist gleich der
anfang
von sofort
nach
die
zeit
des Bestehens von
** entity
%n{nicht} hat die modale Kraft von
Likely
%n{nicht}
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Wenn
Process
ist ein
fall
von
Impacting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
ImpairedBodyPartFn
Brain
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann die Aussage
Concussion
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
** Process
%n{nicht} hat die modale Kraft von
Likely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?T
(
DayFn
1
(
MonthFn
October
(
YearFn
1992))))
(
conventionalLongName
"Andean Community of Nations"
AndeanCommunityOfNations
)))
Government.kif 2791-2794
TimePosition
ist ein
fall
von der
tag
1 %n{nicht} und
conventionalLongName
"Andean Community of Nations" and
AndeanCommunityOfNations
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
and
(
instance
?TIME
(
YearFn
1996))
(
conventionalLongName
"Agency for the French-Speaking Community"
AgencyForTheFrenchSpeakingCommunity
)))
Government.kif 2765-2769
TimePosition
ist ein
fall
von das
jahr
1996 %n{nicht} und
conventionalLongName
"Agency for the French-Speaking Community" and
AgencyForTheFrenchSpeakingCommunity
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
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