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 24170-24171
(subclass LayingEggs OrganismProcess) Mid-level-ontology.kif 24169-24169 Laying eggs is a subclass of organism process

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


(termFormat ChineseLanguage LayingEggs "下蛋") domainEnglishFormat.kif 33581-33581
(termFormat ChineseTraditionalLanguage LayingEggs "下蛋") domainEnglishFormat.kif 33580-33580
(termFormat EnglishLanguage LayingEggs "laying eggs") domainEnglishFormat.kif 33579-33579

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


(=>
    (and
        (instance ?L LayingEggs)
        (experiencer ?L ?A))
    (and
        (instance ?A Animal)
        (attribute ?A Female)))
Mid-level-ontology.kif 24188-24194
(=>
    (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 24173-24186


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