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 and
BiologicalProcess
(
domain
lifeStageAchieved
2
DevelopmentalAttribute
)
VirusProteinAndCellPart.kif 223-223
域
生命階段實現
, 2 and
DevelopmentalAttribute
(
instance
lifeStageAchieved
BinaryPredicate
)
VirusProteinAndCellPart.kif 221-221
例
生命階段實現
and
BinaryPredicate
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
DevelopmentalAttribute
是
BiologicalProcess
的
life
完成的階段
體驗者
BiologicalProcess
and
AutonomousAgent
持有期間
開始
何時
BiologicalProcess
and
例
AutonomousAgent
and
DevelopmentalAttribute
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
DevelopmentalAttribute
是
BiologicalProcess
的
life
完成的階段
體驗者
BiologicalProcess
and
AutonomousAgent
持有期間
眼前的未來
何時
BiologicalProcess
and
例
AutonomousAgent
and
DevelopmentalAttribute
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