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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LayingEggs
LayingEggs(laying eggs)lay

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


(documentation LayingEggs EnglishLanguage "Any OrganismProcess where an Egg is expelled from the body of a Animal, e.g. a Bird or Reptile laying eggs.") Mid-level-ontology.kif 23552-23553
(subclass LayingEggs OrganismProcess) Mid-level-ontology.kif 23551-23551 Laying eggs is a subclass of organism process

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


(termFormat ChineseLanguage LayingEggs "下蛋") domainEnglishFormat.kif 33564-33564
(termFormat ChineseTraditionalLanguage LayingEggs "下蛋") domainEnglishFormat.kif 33563-33563
(termFormat EnglishLanguage LayingEggs "laying eggs") domainEnglishFormat.kif 33562-33562

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


(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 23570-23576
(=>
    (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 23555-23568


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