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


KB Term:  Term intersection
English Word: 

  Nest

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