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
PastFn
Sigma KEE - PastFn
PastFn
appearance as argument number 1
(
documentation
PastFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
TimePosition
联系 到和它相遇并在
NegativeInfinity
开始的
TimeInterval
。")
chinese_format.kif 2739-2740
(
documentation
PastFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimePosition
to the
TimeInterval
that meets it and that begins at
NegativeInfinity
.")
Merge.kif 8482-8484
(
documentation
PastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimeInterval
にマッピングし、
NegativeInfinity
で始まる。")
japanese_format.kif 1465-1466
(
domain
PastFn
1
TimePosition
)
Merge.kif 8479-8479
The number 1 argument of
past
is an
instance
of
time position
(
instance
PastFn
TemporalRelation
)
Merge.kif 8476-8476
Past
is an
instance
of
temporal relation
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8478-8478
Past
is an
instance
of
total valued relation
(
instance
PastFn
UnaryFunction
)
Merge.kif 8477-8477
Past
is an
instance
of
unary function
(
range
PastFn
TimeInterval
)
Merge.kif 8480-8480
The
range
of
past
is an instance of
time interval
appearance as argument number 2
(
format
ChineseLanguage
PastFn
"%1
before
")
chinese_format.kif 457-457
(
format
EnglishLanguage
PastFn
"
before
%1")
english_format.kif 463-463
(
format
FrenchLanguage
PastFn
"avant %1")
french_format.kif 265-265
(
format
ItalianLanguage
PastFn
"prima %1")
relations-it.txt 215-215
(
format
JapaneseLanguage
PastFn
"%1 の
before
")
japanese_format.kif 2055-2055
(
format
PortugueseLanguage
PastFn
"antes de %1")
portuguese_format.kif 217-217
(
format
cz
PastFn
"p�ed %1'")
relations-cz.txt 271-271
(
format
de
PastFn
"vor %1")
relations-de.txt 598-598
(
format
hi
PastFn
"%1 ke pahale")
relations-hindi.txt 253-253
(
format
ro
PastFn
"
before
%t{înainte de} %1")
relations-ro.kif 286-286
(
format
sv
PastFn
"före %1")
relations-sv.txt 292-292
(
format
tg
PastFn
"bago %1")
relations-tg.txt 407-407
(
termFormat
ChineseLanguage
PastFn
"过去")
domainEnglishFormat.kif 44736-44736
(
termFormat
ChineseLanguage
PastFn
"过去函数")
chinese_format.kif 458-458
(
termFormat
ChineseTraditionalLanguage
PastFn
"過去")
domainEnglishFormat.kif 44735-44735
(
termFormat
EnglishLanguage
PastFn
"past")
domainEnglishFormat.kif 44734-44734
consequent
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12715-12728
If
a process
is an
instance
of
decoding
and
a content bearing physical
is a
patient
of
the process
,
then there exist
an entity
,
another content bearing physical
,, ,
a time position
and
a proposition
such that
the other content bearing physical
contain
s information
the proposition
and
the content bearing physical
contain
s information
the proposition
and
the time position
is a
part
of
before
the
time
of existence of
the process
and
the entity
is an
instance
of
encoding
and
the other content bearing physical
is a
patient
of
the entity
holds
during
the time position
(=>
(
holdsDuring
?T1
(
attribute
?H
Veteran
))
(
exists
(?T2)
(
and
(
temporalPart
?T2
(
PastFn
(
WhenFn
?T1)))
(
holdsDuring
?T2
(
attribute
?H
Soldier
))
(
not
(
holdsDuring
?T1
(
attribute
?H
Soldier
))))))
Mid-level-ontology.kif 22203-22214
If
veteran
is an
attribute
of
an entity
holds
during
a physical
,
then there exists
a time position
such that
the time position
is a
part
of
before
the
time
of existence of
the physical
and
soldier
is an
attribute
of
the entity
holds
during
the time position
and
soldier
is an
attribute
of
the entity
doesn't hold
during
the physical
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another time position
and
another entity
such that
the other time position
is a
part
of
before
the time position
and
the entity
expects
the other entity
will be true holds
during
the other time position
and
the other entity
is
false
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
attribute
?PERSON
Drunk
))
(
exists
(?PAST)
(
and
(
temporalPart
?PAST
(
PastFn
?TIME))
(
holdsDuring
?PAST
(
exists
(?DRINK ?ALCOHOL)
(
and
(
instance
?DRINK
Drinking
)
(
patient
?DRINK ?ALCOHOL)
(
instance
?ALCOHOL
AlcoholicBeverage
)
(
agent
?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8673-8684
If
drunk
is an
attribute
of
an entity
holds
during
a time position
,
then there exists
another time position
such that
the other time position
is a
part
of
before
the time position
and there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
drinking
and
the third entity
is a
patient
of
the other entity
and
the third entity
is an
instance
of
alcoholic beverage
and
the entity
is an
agent
of
the other entity
holds
during
the other time position
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
If
a time interval
is an
instance
of
time interval
,
then
before
the time interval
is
equal
to
interval
between
negative infinity
and the
beginning
of
the time interval
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
If
a time position
is an
instance
of
time interval
,
then immediately
before
the time position
finish
es
before
the time position
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
If
a time interval
is an
instance
of
time interval
,
then
before
the time interval
meet
s
the time interval
(=>
(
instance
?S
Scar
)
(
exists
(?T ?OP ?L)
(
and
(
temporalPart
?T
(
PastFn
(
WhenFn
?S)))
(
holdsDuring
?T
(
instance
?L
Lesion
))
(
instance
?OP
OrganOrTissueProcess
)
(
patient
?OP ?L)
(
result
?OP ?S))))
Mid-level-ontology.kif 9408-9418
If
a physical
is an
instance
of
scar
,
then there exist
a time position
,
a process
and
an entity
such that
the time position
is a
part
of
before
the
time
of existence of
the physical
and
the entity
is an
instance
of
lesion
holds
during
the time position
and
the process
is an
instance
of
organ or tissue process
and
the entity
is a
patient
of
the process
and
the physical
is a
result
of
the process
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