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
Il numero 1 argomenti di
lifeStageAchieved
è un
istanza
di
ProcesoBiologico
(
domain
lifeStageAchieved
2
DevelopmentalAttribute
)
VirusProteinAndCellPart.kif 223-223
Il numero 2 argomenti di
lifeStageAchieved
è un
istanza
di
AttributoEvolutivo
(
instance
lifeStageAchieved
BinaryPredicate
)
VirusProteinAndCellPart.kif 221-221
lifeStageAchieved
è un'
istanza
di
PredicatoBinario
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
lifeStageAchieved
ProcesoBiologico
and
AttributoEvolutivo
AutonomousAgent
esperisce
s
ProcesoBiologico
AutonomousAgent
è un'
istanza
di
AttributoEvolutivo
vales
durante
l'
inizio
di il
tempo
di esistenza di
ProcesoBiologico
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
lifeStageAchieved
ProcesoBiologico
and
AttributoEvolutivo
AutonomousAgent
esperisce
s
ProcesoBiologico
AutonomousAgent
è un'
istanza
di
AttributoEvolutivo
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
ProcesoBiologico
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