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 18399-18399 Embryonic est l'oppos� de Larval
(documentation Embryonic ChineseLanguage "这是 Organism 或 AnatomicalStructure 只有在 Organism 出生以前的生命阶段。例如：Mammal 只在出生以前才会有这个 Attribute。") chinese_format.kif 4027-4028 Embryonic est l'oppos� de Larval
(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 18400-18403 Embryonic est l'oppos� de Larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Tubal_Pregnancy_with_embryo.jpg") pictureList.kif 5983-5983 Embryonic est l'oppos� de Larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Wrinkledfrog_embryos.jpg") pictureList.kif 6464-6464 Embryonic est l'oppos� de Larval
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ 6_weeks_pregnant.jpg") pictureList.kif 6465-6465 Embryonic est l'oppos� de Larval
(subAttribute Embryonic NonFullyFormed) Merge.kif 18398-18398 Embryonic est un sous-attribut de NonFullyFormed

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


(termFormat ChineseLanguage Embryonic "胚胎") domainEnglishFormat.kif 21908-21908
(termFormat ChineseTraditionalLanguage Embryonic "胚胎") domainEnglishFormat.kif 21907-21907
(termFormat EnglishLanguage Embryonic "embryonic") domainEnglishFormat.kif 21906-21906

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


(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))		 Merge.kif 18412-18418
(=>
    (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 2555-2569
(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))		 Merge.kif 18405-18410


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