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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LayingEggs

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 23548-23549
(subclass LayingEggs OrganismProcess) Mid-level-ontology.kif 23547-23547

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 23566-23572
(=>
    (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 23551-23564


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 is open source software produced by Articulate Software and its partners