Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 developmentalForms of frogs and butterflies, respectively.") Merge.kif 14332-14335
(domain developmentalForm 1 OrganicObject) Merge.kif 14322-14322 发育形态 的 1 数量 是 有机物体instance
(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 14323-14323 发育形态 的 2 数量 是 发育属性instance
(instance developmentalForm AsymmetricRelation) Merge.kif 14319-14319 发育形态非对称关系instance
(instance developmentalForm BinaryPredicate) Merge.kif 14318-14318 发育形态二元谓语instance
(instance developmentalForm TransitiveRelation) Merge.kif 14320-14320 发育形态传递关系instance
(subrelation developmentalForm attribute) Merge.kif 14321-14321 发育形态属于subrelation

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 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

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
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))
Mid-level-ontology.kif 227-231
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))
Mid-level-ontology.kif 280-284


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