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
lifeStageAchieved
Sigma KEE - lifeStageAchieved
lifeStageAchieved
appearance as argument number 1
(
documentation
lifeStageAchieved
EnglishLanguage
"(
lifeStageAchieved
?BDE ?ATTR) relates the
BiologicalProcess
?BDE to the
DevelopmentalAttribute
that is realized as a result of ?BDE.")
VirusProteinAndCellPart.kif 224-226
(
domain
lifeStageAchieved
1
BiologicalProcess
)
VirusProteinAndCellPart.kif 222-222
Die Zahl 1 Argument von
lifeStageAchieved
ist ein
fall
von
BiologicalProcess
%n{nicht}
(
domain
lifeStageAchieved
2
DevelopmentalAttribute
)
VirusProteinAndCellPart.kif 223-223
Die Zahl 2 Argument von
lifeStageAchieved
ist ein
fall
von
DevelopmentalAttribute
%n{nicht}
(
instance
lifeStageAchieved
BinaryPredicate
)
VirusProteinAndCellPart.kif 221-221
lifeStageAchieved
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
lifeStageAchieved
"%2 %n 是 %1 的 life 完成的阶段")
domainEnglishFormat.kif 1535-1535
(
format
ChineseTraditionalLanguage
lifeStageAchieved
"%2 %n 是 %1 的 life 完成的階段")
domainEnglishFormat.kif 1534-1534
(
format
EnglishLanguage
lifeStageAchieved
"%2 is %n a life stage achieved of %1")
domainEnglishFormat.kif 1533-1533
(
termFormat
ChineseLanguage
lifeStageAchieved
"生命阶段实现")
domainEnglishFormat.kif 34343-34343
(
termFormat
ChineseTraditionalLanguage
lifeStageAchieved
"生命階段實現")
domainEnglishFormat.kif 34342-34342
(
termFormat
EnglishLanguage
lifeStageAchieved
"life stage achieved")
domainEnglishFormat.kif 34341-34341
antecedent
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
BeginFn
(
WhenFn
?BDE))
(
not
(
instance
?OBJ ?LST))))
VirusProteinAndCellPart.kif 237-245
Wenn
lifeStageAchieved
BiologicalProcess
and
DevelopmentalAttribute
und
AutonomousAgent
erfaehrt
** BiologicalProcess
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
** DevelopmentalAttribute
nicht haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** BiologicalProcess
%n{nicht}
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
Wenn
lifeStageAchieved
BiologicalProcess
and
DevelopmentalAttribute
und
AutonomousAgent
erfaehrt
** BiologicalProcess
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
** DevelopmentalAttribute
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** BiologicalProcess
%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