Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Nest
Nest(nest)
bird's_nest, bird_nest, birdnest, drey, mouse's_nest, mouse_nest, nest, nidus

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


(subclass Nest CorpuscularObject) Mid-level-ontology.kif 6122-6122 Nest is a subclass of corpuscular object
(documentation Nest EnglishLanguage "Any structure which is created by nonhuman Animals for the purpose of giving birth to their offspring.") Mid-level-ontology.kif 6123-6124 Nest is a subclass of corpuscular object
(externalImage Nest "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Baby_birds_in_nest.jpg") pictureList.kif 869-869 Nest is a subclass of corpuscular object

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


(termFormat EnglishLanguage Nest "nest") domainEnglishFormat.kif 40189-40189
(termFormat ChineseTraditionalLanguage Nest "巢") domainEnglishFormat.kif 40190-40190
(termFormat ChineseLanguage Nest "巢") domainEnglishFormat.kif 40191-40191

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


(=>
    (instance ?NEST Nest)
    (hasPurpose ?NEST
        (exists (?BIRTH)
            (and
                (instance ?BIRTH Birth)
                (eventLocated ?BIRTH ?NEST)))))		 Mid-level-ontology.kif 6126-6132 If X is an instance of nest, then X has the purpose there exists Y such that Y is an instance of birth and Y is located at X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners