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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Embryonic
Embryonic(胚胎)

appearance as argument number 1
-------------------------


(contraryAttribute Embryonic Larval) Merge.kif 16871-16871 胚胎幼虫 的相反
(documentation Embryonic ChineseLanguage "这是 OrganismAnatomicalStructure 只有在 Organism 出生以前的生命阶段。例如:Mammal 只在出生以前才会有这个 Attribute。") chinese_format.kif 4027-4028
(documentation Embryonic EnglishLanguage "The stage of an Organism or an AnatomicalStructure that exists only before the Organism is born. Mammals, for example, have this Attribute only prior to their birth.") Merge.kif 16872-16875
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Tubal_Pregnancy_with_embryo.jpg") pictureList.kif 5985-5985
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Wrinkledfrog_embryos.jpg") pictureList.kif 6466-6466
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ 6_weeks_pregnant.jpg") pictureList.kif 6467-6467
(subAttribute Embryonic NonFullyFormed) Merge.kif 16870-16870 胚胎没有完全形成subAttribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Embryonic "胚胎") domainEnglishFormat.kif 21829-21829
(termFormat ChineseTraditionalLanguage Embryonic "胚胎") domainEnglishFormat.kif 21828-21828
(termFormat EnglishLanguage Embryonic "embryonic") domainEnglishFormat.kif 21827-21827

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


(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))
Merge.kif 16891-16897
(=>
    (and
        (instance ?O Organism)
        (instance ?E Egg)
        (attribute ?O Embryonic)
        (part ?O ?E))
    (exists (?Y)
        (and
            (instance ?Y EggYolk)
            (hasPurpose ?Y
                (exists (?I)
                    (and
                        (instance ?I Ingesting)
                        (agent ?I ?O)
                        (resource ?I ?Y)))))))
Food.kif 542-556
(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))
Merge.kif 16877-16882


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