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


KB Term:  Term intersection
English Word: 

Sigma KEE - Embryonic
Embryonic

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


(subAttribute Embryonic NonFullyFormed) Merge.kif 18396-18396
(contraryAttribute Embryonic Larval) Merge.kif 18397-18397
(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 18398-18401
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Tubal_Pregnancy_with_embryo.jpg") pictureList.kif 5983-5983
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Wrinkledfrog_embryos.jpg") pictureList.kif 6464-6464
(externalImage Embryonic "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ 6_weeks_pregnant.jpg") pictureList.kif 6465-6465

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


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

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


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


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