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
Die Zahl 1 Argument von
PastFn
ist ein
fall
von
TimePosition
%n{nicht}
(
instance
PastFn
TemporalRelation
)
Merge.kif 8476-8476
PastFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
PastFn
TotalValuedRelation
)
Merge.kif 8478-8478
PastFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
PastFn
UnaryFunction
)
Merge.kif 8477-8477
PastFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
PastFn
TimeInterval
)
Merge.kif 8480-8480
bildbereich
von
PastFn
ist ein fall von
TimeInterval
{nicht}
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
Wenn
Process
ist ein
fall
von
Decoding
%n{nicht} und
ContentBearingPhysical
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
entity
,
** ContentBearingPhysical
,, ,
TimePosition
, and und
Proposition
um
** ** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
** TimePosition
ist ein
teil
von
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und
** entity
ist ein
fall
von
Encoding
%n{nicht} und
** ** ContentBearingPhysical
ist ein
patient
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Veteran
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
Physical
%n{nicht},
dann es gibt
TimePosition
um
** TimePosition
ist ein
teil
von
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
Soldier
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
Soldier
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** Physical
nicht
(=>
(
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
Wenn
Surprise
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** TimePosition
und
** entity
um
** ** TimePosition
ist ein
teil
von
vor
** TimePosition
%n{nicht} und
expects
** entity
and
** ** entity
haelt
waehrend
** ** TimePosition
%n{nicht} und
truth
** ** entity
and
False
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn
Drunk
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** TimePosition
um
** ** TimePosition
ist ein
teil
von
vor
** TimePosition
%n{nicht} und es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Drinking
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
AlcoholicBeverage
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} haelt
waehrend
** ** TimePosition
%n{nicht}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
vor
** TimeInterval
ist gleich
abstand
zwischen
NegativeInfinity
und der
anfang
von
** TimeInterval
%n{nicht}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
Wenn
TimePosition
ist ein
fall
von
TimeInterval
%n{nicht},
dann direkt
vor
** TimePosition
beendet
vor
** TimePosition
%n{nicht}
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8486-8488
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
vor
** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
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
Wenn
Physical
ist ein
fall
von
Scar
%n{nicht},
dann es gibt
TimePosition
,
Process
, and und
Entity
um
** TimePosition
ist ein
teil
von
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** Entity
ist ein
fall
von
Lesion
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** Process
ist ein
fall
von
OrganOrTissueProcess
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Physical
ist ein
resultat
von
** Process
%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