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
FutureFn
Sigma KEE - FutureFn
FutureFn
appearance as argument number 1
(
documentation
FutureFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimePosition
联系到和它相遇并在
PositiveInfinity
结束的
TimeInterval
。")
chinese_format.kif 2743-2744
(
documentation
FutureFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to the
TimeInterval
which it meets and which ends at
PositiveInfinity
.")
Merge.kif 8514-8515
(
documentation
FutureFn
JapaneseLanguage
"
UnaryFunction
は、
PositiveInfinity
で満たして 終了する
TimePosition
をマップする。")
japanese_format.kif 1469-1470
(
domain
FutureFn
1
TimePosition
)
Merge.kif 8511-8511
Die Zahl 1 Argument von
FutureFn
ist ein
fall
von
TimePosition
%n{nicht}
(
instance
FutureFn
TemporalRelation
)
Merge.kif 8508-8508
FutureFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
FutureFn
TotalValuedRelation
)
Merge.kif 8510-8510
FutureFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
FutureFn
UnaryFunction
)
Merge.kif 8509-8509
FutureFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
FutureFn
TimeInterval
)
Merge.kif 8512-8512
bildbereich
von
FutureFn
ist ein fall von
TimeInterval
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
FutureFn
"%1 之后")
chinese_format.kif 461-461
(
format
EnglishLanguage
FutureFn
"after %1")
english_format.kif 467-467
(
format
FrenchLanguage
FutureFn
"apr�s %1")
french_format.kif 267-267
(
format
ItalianLanguage
FutureFn
"dopo %1")
relations-it.txt 115-115
(
format
JapaneseLanguage
FutureFn
"%1 の after")
japanese_format.kif 2057-2057
(
format
PortugueseLanguage
FutureFn
"apos %1")
portuguese_format.kif 219-219
(
format
cz
FutureFn
"po %1'")
relations-cz.txt 273-273
(
format
de
FutureFn
"nach %1")
relations-de.txt 602-602
(
format
hi
FutureFn
"%1 ke baada")
relations-hindi.txt 155-155
(
format
ro
FutureFn
"after%t{dupã} %1")
relations-ro.kif 288-288
(
format
sv
FutureFn
"efter %1")
relations-sv.txt 294-294
(
format
tg
FutureFn
"pagkatapos ng %1")
relations-tg.txt 240-240
(
termFormat
ChineseLanguage
FutureFn
"未来")
domainEnglishFormat.kif 25304-25304
(
termFormat
ChineseLanguage
FutureFn
"未来函数")
chinese_format.kif 462-462
(
termFormat
ChineseTraditionalLanguage
FutureFn
"未來")
domainEnglishFormat.kif 25303-25303
(
termFormat
EnglishLanguage
FutureFn
"future")
domainEnglishFormat.kif 25302-25302
(
termFormat
tg
FutureFn
"tungkulin ng pagkatapos")
relations-tg.txt 241-241
consequent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
Wenn
agreementExpirationDate
Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
nicht haelt
waehrend
nach
** TimePoint
%n{nicht}
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
Wenn
independenceDate
GeopoliticalArea
and
** TimeInterval
und
TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht},
dann es gibt nicht
entity
um
dependentGeopoliticalArea
** GeopoliticalArea
and
** entity
haelt
waehrend
nach
** TimePosition
%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
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Set
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingPhysical
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
** entity
um
** ** entity
ist ein
element
von
** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
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
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Wenn
Transfer
ist ein
fall
von
Injecting
%n{nicht} und
Object
ist ein
fall
von
Adalimumab
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** Transfer
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
BodyPart
%n{nicht} und
** Transfer
endet an
Entity
%n{nicht},
dann die Aussage es gibt
** entity
um
PainFn
** ** Object
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** ** entity
geschieht
waehrend
nach
die
zeit
des Bestehens von
** Transfer
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?PATIENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Living
))
(
holdsDuring
(
FutureFn
(
WhenFn
?KILL))
(
attribute
?PATIENT
Dead
))))
Merge.kif 12305-12311
Wenn
Process
ist ein
fall
von
Killing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
Living
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
Dead
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8624-8635
Wenn
Object
ist ein
fall
von
Poison
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
moves
** Motion
and
** Object
und
AutonomousAgent
erfaehrt
** Motion
%n{nicht},
dann die Aussage
Blind
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13257-13262
Wenn
Process
ist ein
fall
von
Naming
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** Entity
%n{nicht},
dann
names
** ** Entity
and
** Entity
haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
Wenn
Process
ist ein
fall
von
ReachingAgreement
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Agreement
%n{nicht},
dann
partyToAgreement
** AutonomousAgent
and
** Entity
haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Wenn
FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
beginnet an
** 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
?X
SuicideBombing
)
(
agent
?X ?P))
(
believes
?P
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?P
Dead
))))
Mid-level-ontology.kif 22111-22119
Wenn
Process
ist ein
fall
von
SuicideBombing
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass
Dead
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9697-9709
Wenn
Physical
ist ein
fall
von
Antidepressant
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Ingesting
%n{nicht} und
objectTransferred
** entity
and
** Physical
und
** Physical
ist der
agent
von
** ** entity
%n{nicht} und
Depression
ist ein
attribut
von
** ** entity
nicht haelt
waehrend
nach
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9717-9729
Wenn
Physical
ist ein
fall
von
Antipsychotic
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Ingesting
%n{nicht} und
objectTransferred
** entity
and
** Physical
und
** Physical
ist der
agent
von
** ** entity
%n{nicht} und
Psychosis
ist ein
attribut
von
** ** entity
nicht haelt
waehrend
nach
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
Wenn
Entity
ist ein
fall
von
VaccinatableDisease
%n{nicht},
dann es gibt
** Entity
,
** Entity
, and und
Process
um
** ** Entity
ist ein
fall
von
Vaccine
%n{nicht} und
** Process
ist ein
fall
von
Putting
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht} und
** ** Entity
ist ein
fall
von
Human
%n{nicht} und die Aussage
** Entity
ist ein
attribut
von
** ** Entity
nicht haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
nach
** TimeInterval
ist gleich
abstand
zwischen das
ende
von
** TimeInterval
und
PositiveInfinity
%n{nicht}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8517-8519
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
** TimeInterval
schliesst
nach
** TimeInterval
zeitlich an
(=>
(
instance
?INTERVAL
TimeInterval
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
Wenn
TimePosition
ist ein
fall
von
TimeInterval
%n{nicht},
dann sofort
nach
** TimePosition
beginnt
nach
** TimePosition
%n{nicht}
(=>
(
instance
?N
AntiInflammatory
)
(
hasPurpose
?N
(
exists
(?I ?H ?IN)
(
and
(
instance
?I
Inflammation
)
(
experiencer
?H ?I)
(
instance
?IN
Ingesting
)
(
before
(
BeginFn
(
WhenFn
?I))
(
BeginFn
(
WhenFn
?IN)))
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
Inflammation
)
(
experiencer
?I2 ?H)))))))))
Mid-level-ontology.kif 12421-12441
Wenn
Physical
ist ein
fall
von
AntiInflammatory
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
N um
** entity
ist ein
fall
von
Inflammation
%n{nicht} und
** entity
erfaehrt
** ** entity
%n{nicht} und
** entity
N ist ein
fall
von
Ingesting
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** entity
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** entity
N %n{nicht} und es gibt nicht
** entity
2 um
** entity
2 ist ein
fall
von
Inflammation
%n{nicht} und
** ** entity
erfaehrt
** entity
2 %n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?X
SuicideBombing
)
(
exists
(?A)
(
and
(
agent
?X ?A)
(
holdsDuring
(
FutureFn
(
WhenFn
?X))
(
attribute
?A
Dead
)))))
Mid-level-ontology.kif 22101-22109
Wenn
Process
ist ein
fall
von
SuicideBombing
%n{nicht},
dann es gibt
AutonomousAgent
um
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
Dead
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
EuropeanNation
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2501-2504
Serbia
ist ein
fall
von
EuropeanNation
%n{nicht} und
TimePosition
ist ein
fall
von der
tag
5 %n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?T)
(
and
(
instance
Serbia
IndependentState
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2496-2499
Serbia
ist ein
fall
von
IndependentState
%n{nicht} und
TimePosition
ist ein
fall
von der
tag
5 %n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
names
"Republic of Serbia" and
Serbia
und
TimePosition
ist ein
fall
von der
tag
5 %n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
EuropeanNation
)))
Media.kif 2528-2531
TimePosition
ist ein
fall
von der
tag
3 %n{nicht} und
Montenegro
ist ein
fall
von
EuropeanNation
%n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
instance
Montenegro
IndependentState
)))
Media.kif 2523-2526
TimePosition
ist ein
fall
von der
tag
3 %n{nicht} und
Montenegro
ist ein
fall
von
IndependentState
%n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
TimePosition
ist ein
fall
von der
tag
3 %n{nicht} und
names
"Montenegro" and
Montenegro
haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
not
(
instance
SerbiaAndMontenegro
IndependentState
))))
Media.kif 2546-2550
TimePosition
ist ein
fall
von der
tag
3 %n{nicht} und
SerbiaAndMontenegro
ist ein
fall
von
IndependentState
nicht haelt
waehrend
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