| 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 developmentalForms of frogs and butterflies, respectively.") | Merge.kif 14470-14473 | |
| (domain developmentalForm 1 OrganicObject) | Merge.kif 14460-14460 | |
| (domain developmentalForm 2 DevelopmentalAttribute) | Merge.kif 14461-14461 | |
| (instance developmentalForm AsymmetricRelation) | Merge.kif 14457-14457 | |
| (instance developmentalForm BinaryPredicate) | Merge.kif 14456-14456 | |
| (instance developmentalForm TransitiveRelation) | Merge.kif 14458-14458 | |
| (subrelation developmentalForm attribute) | Merge.kif 14459-14459 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage developmentalForm "%1 的发育形态 %n 是 %2") | chinese_format.kif 519-519 | |
| (format EnglishLanguage developmentalForm "the developmental form of %1 is %n %2") | english_format.kif 524-524 | |
| (format FrenchLanguage developmentalForm "la forme developmentale 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 の developmental form は %n %2 では %n") | japanese_format.kif 2075-2075 | |
| (format PortugueseLanguage developmentalForm "a forma developmental 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 developmental%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 19335-19335 | |
| (termFormat ChineseLanguage developmentalForm "发育形态") | chinese_format.kif 520-520 | |
| (termFormat ChineseTraditionalLanguage developmentalForm "發展形式") | domainEnglishFormat.kif 19334-19334 | |
| (termFormat EnglishLanguage developmentalForm "developmental form") | domainEnglishFormat.kif 19333-19333 | |
| (termFormat de developmentalForm "entwicklungsForm") | terms-de.txt 204-204 | |
| (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 14475-14482 |
| consequent |
|
|
| (=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2))))) |
Merge.kif 14475-14482 | |
| (=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 234-239 | |
| (=> (holdsDuring ?TIME (instance ?ADULT HumanAdult)) (holdsDuring ?TIME (developmentalForm ?ADULT FullyFormed))) |
Mid-level-ontology.kif 220-224 | |
| (=> (holdsDuring ?TIME (instance ?CHILD HumanChild)) (holdsDuring ?TIME (developmentalForm ?CHILD NonFullyFormed))) |
Mid-level-ontology.kif 273-277 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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