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
生命阶段实现
的 1 数量 是
生物过程
的
instance
(
domain
lifeStageAchieved
2
DevelopmentalAttribute
)
VirusProteinAndCellPart.kif 223-223
生命阶段实现
的 2 数量 是
发育属性
的
instance
(
instance
lifeStageAchieved
BinaryPredicate
)
VirusProteinAndCellPart.kif 221-221
生命阶段实现
是
二元谓语
的
instance
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
如果
发育属性
是
生物过程
的
life
完成的阶段 和
施事体
经历了
那个 生物过程
,
然后
那个 施事体
不 是
那个 发育属性
的
instance
在
那个 生物过程
出现 的
time
的开始
holdsDuring
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
如果
发育属性
是
生物过程
的
life
完成的阶段 和
施事体
经历了
那个 生物过程
,
然后
那个 施事体
是
那个 发育属性
的
instance
在 紧接
那个 生物过程
出现 的
time
after
holdsDuring
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