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

KB Term:  Term intersection
English Word: 

Sigma KEE - Moth
Moth(moth)
miller, moth, moth_miller

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


(subclass Moth Insect) Mid-level-ontology.kif 14250-14250 Moth is a subclass of insect
(documentation Moth EnglishLanguage "Nocturnal Insect with a large body and antennae.") Mid-level-ontology.kif 14251-14251 Moth is a subclass of insect
(externalImage Moth "http://articulatesoftware.com/SUMOpictures/animals/ bugs/ moth.png") pictureList.kif 606-606 Moth is a subclass of insect

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


(termFormat EnglishLanguage Moth "moth") domainEnglishFormat.kif 38675-38675
(termFormat ChineseTraditionalLanguage Moth "蛾") domainEnglishFormat.kif 38676-38676
(termFormat ChineseLanguage Moth "蛾") domainEnglishFormat.kif 38677-38677

consequent
-------------------------


(=>
    (instance ?C Caterpillar)
    (holdsDuring
        (WhenFn ?C)
        (exists (?X)
            (and
                (equal ?X ?C)
                (attribute ?X Larval)
                (or
                    (instance ?X Moth)
                    (instance ?X Butterfly))))))		 Mid-level-ontology.kif 14223-14233 If X is an instance of caterpillar, then there exists Y such that equal Y, X, larval is an attribute of Y, and Y is an instance of moth or Y is an instance of butterfly holds during the time of existence of 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