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 14378-14381
(
domain
developmentalForm
1
OrganicObject
)
Merge.kif 14368-14368
The number 1 argument of
developmental form
is an
instance
of
organic object
(
domain
developmentalForm
2
DevelopmentalAttribute
)
Merge.kif 14369-14369
The number 2 argument of
developmental form
is an
instance
of
developmental attribute
(
instance
developmentalForm
AsymmetricRelation
)
Merge.kif 14365-14365
developmental form
is an
instance
of
asymmetric relation
(
instance
developmentalForm
BinaryPredicate
)
Merge.kif 14364-14364
developmental form
is an
instance
of
binary predicate
(
instance
developmentalForm
TransitiveRelation
)
Merge.kif 14366-14366
developmental form
is an
instance
of
transitive relation
(
subrelation
developmentalForm
attribute
)
Merge.kif 14367-14367
developmental form
is a
subrelation
of
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 14383-14390
If the
developmental
form
of
an entity
is
an attribute
holds
during
a time interval
and
another attribute
is a
successor
attribute
of
the attribute
,
then there exists
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and the
developmental
form
of
the entity
is
the other attribute
holds
during
the other time interval
consequent
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14383-14390
If the
developmental
form
of
an entity
is
an attribute
holds
during
a time interval
and
another attribute
is a
successor
attribute
of
the attribute
,
then there exists
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and the
developmental
form
of
the entity
is
the other attribute
holds
during
the other time interval
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
If
an entity
is an
instance
of
organic object
and
another entity
is an
instance
of
developmental attribute
and
the entity
the
attribute
the other entity
holds
during
a time position
,
then the
developmental
form
of
the entity
is
the other entity
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
instance
?ADULT
HumanAdult
))
(
holdsDuring
?TIME
(
developmentalForm
?ADULT
FullyFormed
)))
Mid-level-ontology.kif 220-224
If
an entity
is an
instance
of
human adult
holds
during
a time position
,
then the
developmental
form
of
the entity
is
fully formed
holds
during
the time position
(=>
(
holdsDuring
?TIME
(
instance
?CHILD
HumanChild
))
(
holdsDuring
?TIME
(
developmentalForm
?CHILD
NonFullyFormed
)))
Mid-level-ontology.kif 273-277
If
an entity
is an
instance
of
human child
holds
during
a time position
,
then the
developmental
form
of
the entity
is
non fully formed
holds
during
the time position
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