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。") Merge.kif 18740-18742
(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 18736-18739
(domain developmentalForm 1 OrganicObject) Merge.kif 18726-18726 developmentalForm の数値 1 引数は 有機物instance では %n
(domain developmentalForm 2 DevelopmentalAttribute) Merge.kif 18727-18727 developmentalForm の数値 2 引数は 発達属性instance では %n
(instance developmentalForm AsymmetricRelation) Merge.kif 18723-18723 developmentalForm非対称関係instance では %n
(instance developmentalForm BinaryPredicate) Merge.kif 18722-18722 developmentalForm2進述語instance では %n
(instance developmentalForm TransitiveRelation) Merge.kif 18724-18724 developmentalForm推移関係instance では %n
(subrelation developmentalForm attribute) Merge.kif 18725-18725 developmentalFormattributesubrelation では %n

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 727-727
(format JapaneseLanguage developmentalForm "%1 の developmental form は %n %2 では %n") english_format.kif 728-728
(termFormat ChineseLanguage developmentalForm "发展形式") domainEnglishFormat.kif 19255-19255 termFormat ChineseLanguage, developmentalForm and "发展形式"
(termFormat ChineseLanguage developmentalForm "发育形态") chinese_format.kif 520-520 termFormat ChineseLanguage, developmentalForm and "发育形态"
(termFormat ChineseTraditionalLanguage developmentalForm "發展形式") domainEnglishFormat.kif 19254-19254 termFormat ChineseTraditionalLanguage, developmentalForm and "發展形式"
(termFormat EnglishLanguage developmentalForm "developmental form") domainEnglishFormat.kif 19253-19253 termFormat EnglishLanguage, developmentalForm and "developmental form"

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 18744-18751

consequent
-------------------------


(=>
    (and
        (holdsDuring ?TIME1
            (developmentalForm ?OBJ ?ATTR1))
        (successorAttributeClosure ?ATTR2 ?ATTR1))
    (exists (?TIME2)
        (and
            (earlier ?TIME2 ?TIME1)
            (holdsDuring ?TIME2
                (developmentalForm ?OBJ ?ATTR2)))))
Merge.kif 18744-18751
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))
Mid-level-ontology.kif 384-389
(=>
    (holdsDuring ?TIME
        (instance ?ADULT HumanAdult))
    (holdsDuring ?TIME
        (developmentalForm ?ADULT FullyFormed)))
Mid-level-ontology.kif 367-371
(=>
    (holdsDuring ?TIME
        (instance ?CHILD HumanChild))
    (holdsDuring ?TIME
        (developmentalForm ?CHILD NonFullyFormed)))
Mid-level-ontology.kif 431-435


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners