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 20414-20415
(subclass LayingEggs OrganismProcess) Mid-level-ontology.kif 20413-20413

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 20432-20438
(=>
    (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 20417-20430


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