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


KB Term:  Term intersection
English Word: 

  Egg

 Sigma KEE - Egg
Egg(egg)
egg

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


(subclass Egg ReproductiveBody) Merge.kif 15320-15320 Egg is a subclass of reproductive body
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15321-15321 Egg is a subclass of animal anatomical structure
(subclass Egg Meat) Merge.kif 15322-15322 Egg is a subclass of meat
(documentation Egg EnglishLanguage "The fertilized or unfertilized female ReproductiveBody of an Animal. This includes Bird and Reptile eggs, as well as mammalian ova.") Merge.kif 15323-15325 Egg is a subclass of meat
(subclass Egg AnimalAgriculturalArtifact) Society.kif 1059-1059 Egg is a subclass of AnimalAgriculturalArtifact
(externalImage Egg "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ egg.png") pictureList.kif 406-406 Egg is a subclass of AnimalAgriculturalArtifact

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


(subclass BirdEgg Egg) Mid-level-ontology.kif 26355-26355 Bird egg is a subclass of egg
(initialPart EggYolk Egg) Food.kif 2571-2571 Every egg yolk is initially part of a egg
(termFormat EnglishLanguage Egg "egg") domainEnglishFormat.kif 21324-21324 Every egg yolk is initially part of a egg
(termFormat ChineseTraditionalLanguage Egg "蛋") domainEnglishFormat.kif 21325-21325 Every egg yolk is initially part of a egg
(termFormat ChineseLanguage Egg "蛋") domainEnglishFormat.kif 21326-21326 Every egg yolk is initially part of a egg

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


(=>
    (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 2572-2586 If X is an instance of organism, Y is an instance of egg, embryonic is an attribute of X, and X is a part of Y, then there exists Z such that Z is an instance of egg yolk, Z has the purpose there exists W such that W is an instance of ingesting, X is an agent of W, and Z is a resource for W

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


(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (exists (?E)
        (and
            (instance ?E Egg)
            (patient ?L ?E)
            (holdsDuring
                (BeginFn
                    (WhenFn ?L))
                (part ?E ?A))
            (holdsDuring
                (EndFn
                    (WhenFn ?L))
                (not
                    (part ?E ?A))))))		 Mid-level-ontology.kif 26399-26412 If X is an instance of laying eggs and Y experiences X, then there exists Z such that Z is an instance of egg, Z is a patient of X, Z is a part of Y holds during the beginning of the time of existence of X, and Z is not a part of Y holds during the end of the time of existence of X
(=>
    (instance ?O Omelette)
    (material Egg ?O))		 Food.kif 2736-2738 If X is an instance of omelette, then X is made of egg


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners