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
Die Zahl 1 Argument von
developmentalForm
ist ein
fall
von
OrganicObject
%n{nicht}
(
domain
developmentalForm
2
DevelopmentalAttribute
)
Merge.kif 14369-14369
Die Zahl 2 Argument von
developmentalForm
ist ein
fall
von
DevelopmentalAttribute
%n{nicht}
(
instance
developmentalForm
AsymmetricRelation
)
Merge.kif 14365-14365
developmentalForm
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
developmentalForm
BinaryPredicate
)
Merge.kif 14364-14364
developmentalForm
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
developmentalForm
TransitiveRelation
)
Merge.kif 14366-14366
developmentalForm
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
developmentalForm
attribute
)
Merge.kif 14367-14367
developmentalForm
ist eine
teilrelation
von
attribut
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
Wenn die
entwicklungsForm
von
entity
ist
Attribute
haelt
waehrend
TimeInterval
%n{nicht} und
** Attribute
ist ein
nachfolgerattribut
von
** Attribute
,
dann es gibt
** TimeInterval
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und die
entwicklungsForm
von
** entity
ist
** ** Attribute
haelt
waehrend
** ** TimeInterval
%n{nicht}
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
Wenn die
entwicklungsForm
von
entity
ist
Attribute
haelt
waehrend
TimeInterval
%n{nicht} und
** Attribute
ist ein
nachfolgerattribut
von
** Attribute
,
dann es gibt
** TimeInterval
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und die
entwicklungsForm
von
** entity
ist
** ** Attribute
haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
Wenn
Entity
ist ein
fall
von
OrganicObject
%n{nicht} und
** Entity
ist ein
fall
von
DevelopmentalAttribute
%n{nicht} und
** Entity
hat ein
attribut
** ** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die
entwicklungsForm
von
** Entity
ist
** ** Entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
holdsDuring
?TIME
(
instance
?ADULT
HumanAdult
))
(
holdsDuring
?TIME
(
developmentalForm
?ADULT
FullyFormed
)))
Mid-level-ontology.kif 220-224
Wenn
entity
ist ein
fall
von
HumanAdult
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die
entwicklungsForm
von
** entity
ist
FullyFormed
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
holdsDuring
?TIME
(
instance
?CHILD
HumanChild
))
(
holdsDuring
?TIME
(
developmentalForm
?CHILD
NonFullyFormed
)))
Mid-level-ontology.kif 273-277
Wenn
entity
ist ein
fall
von
HumanChild
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die
entwicklungsForm
von
** entity
ist
NonFullyFormed
haelt
waehrend
** TimePosition
%n{nicht}
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