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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Larval
Larval(larval)
Chorizagrotis_auxiliaris, Gelechia_gossypiella, Geometridae, Heliothis_zia, Loxostege, Loxostege_similalis, Malacosoma, Malacosoma_disstria, Rhagoletis_pomonella, Samia_cynthia, ailanthus_silkworm, apple_maggot, army_cutworm, armyworm, bladder_worm, bot, caddisworm, caseworm, caterpillar, cercaria, corn_earworm, cotton_bollworm, dobson, fall_cankerworm, family_Geometridae, forest_tent_caterpillar, garden_webworm, genus_Loxostege, genus_Malacosoma, glowworm, grub, hellgrammiate, larva, larval, leatherjacket, leptocephalus, maggot, mealworm, nymph, pink_bollworm, polliwog, pollywog, railroad_worm, spring_cankerworm, strawworm, tadpole, tobacco_budworm, tomato_fruitworm, vetchworm, wiggler...

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


(documentation Larval ChineseLanguage "这是大多数 InvertebrateAmphibianFish 在 紧随着孵化后的形态。这个形态基本上和它们成年的形态不同,而它们要经过蜕变才可以达到成年的形态。") chinese_format.kif 4025-4026
(documentation Larval EnglishLanguage "Form of most Invertebrates, Amphibians, and Fish immediately after they hatch. This form is fundamentally unlike the adult form, and metamorphosis is required to reach the latter form.") Merge.kif 18166-18168
(externalImage Larval "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Nachtkerzenschwaermer_Raupe.jpg") pictureList.kif 6659-6659
(subAttribute Larval NonFullyFormed) Merge.kif 18165-18165 Larval is a subattribute of non fully formed

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


(contraryAttribute Embryonic Larval) Merge.kif 18190-18190 Embryonic is the opposite of larval
(termFormat ChineseLanguage Larval "幼虫") domainEnglishFormat.kif 33391-33391
(termFormat ChineseTraditionalLanguage Larval "幼蟲") domainEnglishFormat.kif 33390-33390
(termFormat EnglishLanguage Larval "larval") domainEnglishFormat.kif 33389-33389

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


(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Larval))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (meetsTemporally ?BW ?TIME))
Merge.kif 18181-18187

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 12606-12616
(=>
    (instance ?S Silk)
    (exists (?M ?T ?I)
        (and
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))
Mid-level-ontology.kif 5391-5400


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