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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Embryonic

Sigma KEE - Embryonic
Embryonic(胚胎)

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


(contraryAttribute Embryonic Larval) Merge.kif 18269-18269 相反的屬性 胚胎 and 幼蟲
(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 18270-18273
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Tubal_Pregnancy_with_embryo.jpg") pictureList.kif 5984-5984
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Wrinkledfrog_embryos.jpg") pictureList.kif 6465-6465
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ 6_weeks_pregnant.jpg") pictureList.kif 6466-6466
(subAttribute Embryonic NonFullyFormed) Merge.kif 18268-18268 子屬性 胚胎 and 沒有完全形成

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


(termFormat ChineseLanguage Embryonic "胚胎") domainEnglishFormat.kif 21900-21900
(termFormat ChineseTraditionalLanguage Embryonic "胚胎") domainEnglishFormat.kif 21899-21899
(termFormat EnglishLanguage Embryonic "embryonic") domainEnglishFormat.kif 21898-21898

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


(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))
Merge.kif 18282-18288
(=>
    (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 2548-2562
(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))
Merge.kif 18275-18280


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