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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Caterpillar
Caterpillar

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


(documentation Caterpillar EnglishLanguage "Caterpillars are the larval stage of members of the order Lepidoptera (the insect order comprising butterflies and moths). As with most common names, the application of the word is arbitrary, since the larvae of sawflies are commonly called caterpillars as well.[1][2] Both lepidopteran and symphytan larvae have eruciform body shapes. Caterpillars of most species eat plant material (often leaves), but not all; some (about 1%) eat insects, and some are even cannibalistic. Some feed on other animal products. For example, clothes moths feed on wool, and horn moths feed on the hooves and horns of dead ungulates. Caterpillars are typically voracious feeders and many of them are among the most serious of agricultural pests. In fact, many moth species are best known in their caterpillar stages because of the damage they cause to fruits and other agricultural produce, whereas the moths are obscure and do no direct harm. Conversely, various species of caterpillar are valued as sources of silk, as human or animal food, or for biological control of pest plants.[from Wikipedia].") Mid-level-ontology.kif 12596-12599
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595

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


(termFormat EnglishLanguage Caterpillar "caterpillar") Mid-level-ontology.kif 12600-12600

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


(=>
    (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 12606-12616


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