WhenFn
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
Wenn
wert
von
Check
ist
CurrencyMeasure
und
checkAccount
** Check
and
FinancialAccount
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Check
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
** Check
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
beginnet an
** FinancialAccount
%n{nicht}
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
Wenn
wert
von
Object
ist
CurrencyMeasure
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** Object
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
Wenn
muscleInsertion
** Muscle
and
** BodyPart
und
Object
ist ein
fall
von
Human
%n{nicht} und
StandardAnatomicalPosition
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und
** TimeInterval
ist ein
fall
von
MuscularContraction
%n{nicht} und die
zeit
des Bestehens von
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** TimeInterval
%n{nicht} und
physicalEnd
** Object
and
** ** Object
und
** ** Object
schliesst
** Object
raeumlich an und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von
** ** TimeInterval
%n{nicht},
dann
** ** Object
befindet
sich an nicht haelt
waehrend
das
ende
von
** ** TimeInterval
%n{nicht}
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
Wenn
muscleOrigin
** Muscle
and
** BodyPart
und
Object
ist ein
fall
von
Human
%n{nicht} und
StandardAnatomicalPosition
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und
** TimeInterval
ist ein
fall
von
MuscularContraction
%n{nicht} und die
zeit
des Bestehens von
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** TimeInterval
%n{nicht} und
physicalEnd
** Object
and
** ** Object
und
** ** Object
schliesst
** Object
raeumlich an und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von
** ** TimeInterval
%n{nicht},
dann
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von
** ** TimeInterval
%n{nicht}
(=>
(
and
(
observesHoliday
?A ?T1)
(
equal
?T2
(
WhenFn
?A)))
(
during
?T1 ?T2))
Media.kif 258-262
Wenn
observesHoliday
CognitiveAgent
and
Holiday
und
TimeInterval
ist gleich die
zeit
des Bestehens von
** CognitiveAgent
%n{nicht},
dann
** Holiday
geschieht
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** GeopoliticalArea
2 ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ageOfMajorityForProcess
RealNumber
YearDuration
(s),
** GeopoliticalArea
and
** Process
und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und das
alter
von
** CognitiveAgent
ist
entity
YearDuration
(s) %n{nicht} und
** entity
ist
groesserAls
** RealNumber
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
Legal
ist ein
attribut
von
** Agreement
%n{nicht}
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12826-12832
Wenn
Physical
ist ein
patient
von
Process
%n{nicht} und
** Physical
besteht
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Physical
besteht
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
nicht,
dann
** Process
ist ein
fall
von
Creation
%n{nicht}
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
Wenn
Process
verhindert
das Auftreten von
** ** Process
und die
zeit
des Bestehens von
** Process
ist gleich
TimeInterval
%n{nicht} und
eventLocated
** Process
and
Object
,
dann es gibt
entity
um
** entity
ist ein
fall
von
** ** Process
%n{nicht} und
eventLocated
** entity
and
** Object
haelt
waehrend
** TimeInterval
nicht
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8047-8052
Wenn
Object
ist ein
hilfmittel
fuer
Process
%n{nicht} und das
mass
von
** Object
ist
RealNumber
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und das
mass
von
** Object
ist
** RealNumber
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
Wenn
shutdownOf
ShutdownBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ShutdownBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
Wenn
startupOf
StartupBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** StartupBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
Wenn
startupTimeDelay
ComputerProgram
and
TimeDuration
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht} und
Physical
ist ein
fall
von
ComputerProcess
%n{nicht} und die
zeit
des Bestehens von
** Physical
ist gleich
** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2724-2744
Wenn
visibilityInMeteorology
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** TimeInterval
ist ein
fall
von
DayTime
%n{nicht} und
Process
ist ein
fall
von
Looking
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
color
** Object
and
Black
und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist
Horizontal
hinsichlich
** Object
%n{nicht} und
eventLocated
** Process
and
** Region
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** RealNumber
um der
abstand
zwischen
** AutonomousAgent
und
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2746-2767
Wenn
visibilityInMeteorology
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** TimeInterval
ist ein
fall
von
NightTime
%n{nicht} und
Process
ist ein
fall
von
Looking
%n{nicht} und
Object
ist ein
fall
von
Region
%n{nicht} und
Illuminated
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** Object
ist 1000.0
Candela
(s) %n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist
Horizontal
hinsichlich
** Object
%n{nicht} und
eventLocated
** Process
and
** Region
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** RealNumber
um der
abstand
zwischen
** AutonomousAgent
und
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
equal
(
WhenFn
?PHYS1)
(
WhenFn
?PHYS2))
(
cooccur
?PHYS1 ?PHYS2))
Merge.kif 8424-8426
Wenn die
zeit
des Bestehens von
Physical
ist gleich die
zeit
des Bestehens von
** Physical
%n{nicht},
dann
** Physical
geschiecht gleichzeitig mit
** ** Physical
%n{nicht}
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14369-14374
Wenn
TimeInterval
ist gleich die
zeit
des Bestehens von
stored
entity
and
** entity
%n{nicht},
dann die Aussage es gibt
** entity
um
** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
ShutdownBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
beendet
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und der
anfang
von
** ** TimeInterval
ist gleich das
ende
von
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
StartupBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7991-7994
Wenn
TimePosition
ist ein
teil
von die
zeit
des Bestehens von
Physical
%n{nicht},
dann
** Physical
besteht
waehrend
** TimePosition
%n{nicht}
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8234-8243
Wenn
TimePoint
ist
zwischen
oder gleichzeitig mit der
anfang
von die
zeit
des Bestehens von
Physical
und das
ende
von die
zeit
des Bestehens von
** Physical
,
dann
** Physical
besteht
waehrend
** TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht}
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