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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LayingEggs
LayingEggs

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 24113-24114
(subclass LayingEggs OrganismProcess) Mid-level-ontology.kif 24112-24112 LayingEggs est une sous-classe de fonction physiologique

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 24131-24137
(=>
    (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 24116-24129


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