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 8518-8520
(
documentation
PastFn
JapaneseLanguage
"
UnaryFunction
は、
TimePosition
を
TimeInterval
にマッピングし、
NegativeInfinity
で始まる。")
japanese_format.kif 1465-1466
(
domain
PastFn
1
TimePosition
)
Merge.kif 8515-8515
Il numero 1 argomenti di
PastFn
è un
istanza
di
PosizioneTemporale
(
instance
PastFn
TemporalRelation
)
Merge.kif 8512-8512
PastFn
è un'
istanza
di
RelazioneTemporale
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8514-8514
PastFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
PastFn
UnaryFunction
)
Merge.kif 8513-8513
PastFn
è un'
istanza
di
FunzioneUnaria
(
range
PastFn
TimeInterval
)
Merge.kif 8516-8516
rango
di
PastFn
è un'istanza di
IntervalloTemporale
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 44738-44738
(
termFormat
ChineseLanguage
PastFn
"过去函数")
chinese_format.kif 458-458
(
termFormat
ChineseTraditionalLanguage
PastFn
"過去")
domainEnglishFormat.kif 44737-44737
(
termFormat
EnglishLanguage
PastFn
"past")
domainEnglishFormat.kif 44736-44736
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 12761-12774
Processo
è un'
istanza
di
Decodificare
ContentBearingPhysical
è un
paziente
di
Processo
Entit�
ContentBearingPhysical
,
PosizioneTemporale
and
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
Codificare
ContentBearingPhysical
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
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 22255-22266
attribute
Entit�
and
Veteran
vales
durante
Entit�Concreta
PosizioneTemporale
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Entit�Concreta
attribute
Entit�
and
Soldier
vales
durante
PosizioneTemporale
attribute
Entit�
and
Soldier
non vale
durante
Entit�Concreta
(=>
(
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 19375-19381
attribute
Entit�
and
Surprise
vales
durante
PosizioneTemporale
PosizioneTemporale
Entit�
PosizioneTemporale
è una
parte
di
prima
PosizioneTemporale
expects
Entit�
and
Entit�
vales
durante
PosizioneTemporale
truth
Entit�
and
False
vales
durante
PosizioneTemporale
(=>
(
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 8700-8711
attribute
Entit�
and
Drunk
vales
durante
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è una
parte
di
prima
PosizioneTemporale
Entit�
Entit�
Entit�
è un'
istanza
di
Bere
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
AlcoholicBeverage
Entit�
è un
agente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8526-8528
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
prima
IntervalloTemporale
is
uguale
a
intervallo
tra
NegativeInfinity
e l'
inizio
di
IntervalloTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8540-8542
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
immediatamente
prima
di
PosizioneTemporale
finisce
es
prima
PosizioneTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8522-8524
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
prima
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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 9435-9445
Entit�Concreta
è un'
istanza
di
Scar
PosizioneTemporale
Processo
and
Entit�
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Entit�Concreta
Entit�
è un'
istanza
di
Lesion
vales
durante
PosizioneTemporale
Processo
è un'
istanza
di
ProcessoOrganicoOTessutale
Entit�
è un
paziente
di
Processo
Entit�Concreta
è un
risultato
di
Processo
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