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
developmentalForm
Sigma KEE - developmentalForm
developmentalForm
appearance as argument number 1
(
documentation
developmentalForm
ChineseLanguage
"(
developmentalForm
?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如:蝌蚪和毛虫分别是青蛙和蝴蝶的
developmentalForm
。")
chinese_format.kif 3366-3368
(
documentation
developmentalForm
EnglishLanguage
"(
developmentalForm
?OBJECT ?FORM) means that ?FORM describes a stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are
developmentalForm
s of frogs and butterflies, respectively.")
Merge.kif 14332-14335
(
domain
developmentalForm
1
OrganicObject
)
Merge.kif 14322-14322
O argumento numero 1 de
developmentalForm
e' uma
instancia
de
Objeto Organico
(
domain
developmentalForm
2
DevelopmentalAttribute
)
Merge.kif 14323-14323
O argumento numero 2 de
developmentalForm
e' uma
instancia
de
Atributo Desenvolvimental
(
instance
developmentalForm
AsymmetricRelation
)
Merge.kif 14319-14319
developmentalForm
e' uma
instancia
de
Relacao Assimetrica
(
instance
developmentalForm
BinaryPredicate
)
Merge.kif 14318-14318
developmentalForm
e' uma
instancia
de
Predicado Binario
(
instance
developmentalForm
TransitiveRelation
)
Merge.kif 14320-14320
developmentalForm
e' uma
instancia
de
Relacao Transitiva
(
subrelation
developmentalForm
attribute
)
Merge.kif 14321-14321
developmentalForm
e' uma
sub
-relacao de
attribute
appearance as argument number 2
(
format
ChineseLanguage
developmentalForm
"%1 的发育形态 %n 是 %2")
chinese_format.kif 519-519
(
format
EnglishLanguage
developmentalForm
"the
de
velopmental form of %1 is %n %2")
english_format.kif 524-524
(
format
FrenchLanguage
developmentalForm
"la forme
de
velopmentale de %1 est %n %2")
french_format.kif 307-307
(
format
ItalianLanguage
developmentalForm
"la forma evolutiva di %1 è %2")
relations-it.txt 72-72
(
format
JapaneseLanguage
developmentalForm
"%1 の
de
velopmental form は %n %2 では %n")
japanese_format.kif 2075-2075
(
format
PortugueseLanguage
developmentalForm
"a forma
de
velopmental de %1 e' %n %2")
portuguese_format.kif 259-259
(
format
de
developmentalForm
"die entwicklungsForm von %1 ist %2")
relations-de.txt 674-674
(
format
hi
developmentalForm
"%1 kaa vikaasaatmaka ruupa %2 hai")
relations-hindi.txt 113-113
(
format
ro
developmentalForm
"form%t{forma} de
de
velopmental%t{evoluþie} a lui %1 %n{nu} este %2")
relations-ro.kif 328-328
(
format
sv
developmentalForm
"utvecklingsformen för %1 är %2")
relations-sv.txt 335-335
(
format
tg
developmentalForm
"ang bata pa ng kalagayan ng %1 ay %2")
relations-cb.txt 106-106
(
termFormat
ChineseLanguage
developmentalForm
"发展形式")
domainEnglishFormat.kif 19326-19326
(
termFormat
ChineseLanguage
developmentalForm
"发育形态")
chinese_format.kif 520-520
(
termFormat
ChineseTraditionalLanguage
developmentalForm
"發展形式")
domainEnglishFormat.kif 19325-19325
(
termFormat
EnglishLanguage
developmentalForm
"developmental form")
domainEnglishFormat.kif 19324-19324
(
termFormat
tg
developmentalForm
"bata pa ng kalagayan")
relations-tg.txt 161-161
antecedent
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
A
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
Atributo
e' um
atributo
sucessor
de
Atributo
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
consequent
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
A
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
Atributo
e' um
atributo
sucessor
de
Atributo
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
a
forma
developmental
de
Entidade
e'
Atributo
vale
durante
Intervalo Temporal
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
Entidade
e' uma
instancia
de
Objeto Organico
Entidade
e' uma
instancia
de
Atributo Desenvolvimental
Entidade
tem um
atributo
de
Entidade
vale
durante
Posicao Temporal
a
forma
developmental
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
instance
?ADULT
HumanAdult
))
(
holdsDuring
?TIME
(
developmentalForm
?ADULT
FullyFormed
)))
Mid-level-ontology.kif 227-231
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
a
forma
developmental
de
Entidade
e'
FullyFormed
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
instance
?CHILD
HumanChild
))
(
holdsDuring
?TIME
(
developmentalForm
?CHILD
NonFullyFormed
)))
Mid-level-ontology.kif 280-284
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
a
forma
developmental
de
Entidade
e'
NonFullyFormed
vale
durante
Posicao Temporal
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