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 8504-8506
(
documentation
PastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimeInterval
にマッピングし、
NegativeInfinity
で始まる。")
japanese_format.kif 1465-1466
(
domain
PastFn
1
TimePosition
)
Merge.kif 8501-8501
Le nombre 1 argument de
PastFn
est une
instance
de
position temporel
(
instance
PastFn
TemporalRelation
)
Merge.kif 8498-8498
PastFn
est une
instance
de
relation temporel
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8500-8500
PastFn
est une
instance
de
relation total
(
instance
PastFn
UnaryFunction
)
Merge.kif 8499-8499
PastFn
est une
instance
de
function unaire
(
range
PastFn
TimeInterval
)
Merge.kif 8502-8502
Le
domaine
de
PastFn
est une instance de
interval temporel
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 12737-12750
Processus
est une
instance
de
decoder
ContentBearingPhysical
est un
patient
de
processus
entit�
ContentBearingPhysical
,
position temporel
and
proposition
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
contient
information
proposition
position temporel
est une
partie
de
avant
temps
d'existence de
processus
entit�
est une
instance
de
encoder
ContentBearingPhysical
est un
patient
de
entit�
pendant
position temporel
(=>
(
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 22202-22213
Veteran
est un
attribut
de
entit�
pendant
physique
position temporel
position temporel
est une
partie
de
avant
temps
d'existence de
physique
Soldier
est un
attribut
de
entit�
pendant
position temporel
Soldier
est un
attribut
de
entit�
pendant
physique
(=>
(
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 19347-19353
Surprise
est un
attribut
de
entit�
pendant
position temporel
position temporel
entit�
position temporel
est une
partie
de
avant
position temporel
expects
entit�
and
entit�
pendant
position temporel
truth
entit�
and
False
pendant
position temporel
(=>
(
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 8672-8683
Drunk
est un
attribut
de
entit�
pendant
position temporel
position temporel
position temporel
est une
partie
de
avant
position temporel
entit�
entit�
entit�
est une
instance
de
boire
entit�
est un
patient
de
entit�
entit�
est une
instance
de
AlcoholicBeverage
entit�
est un
agent
de
entit�
pendant
position temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8512-8514
Interval temporel
est une
instance
de
interval temporel
avant
interval temporel
est
intervale
entre
NegativeInfinity
et le
d
�but de
interval temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8526-8528
Position temporel
est une
instance
de
interval temporel
immediatement
avant
position temporel
finit
avant
position temporel
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8508-8510
Interval temporel
est une
instance
de
interval temporel
avant
interval temporel
rencontre
interval temporel
(=>
(
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 9407-9417
Physique
est une
instance
de
Scar
position temporel
processus
and
entit�
position temporel
est une
partie
de
avant
temps
d'existence de
physique
entit�
est une
instance
de
Lesion
pendant
position temporel
processus
est une
instance
de
organ or tissueprocess
entit�
est un
patient
de
processus
physique
est le
resultat
de
processus
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