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
-------------------------


s__documentation(s__Larval,s__ChineseLanguage,'"这是大多数 InvertebrateAmphibianFish 在 紧随着孵化后的形态。这个形态基本上和它们成年的形态不同,而它们要经过蜕变才可以达到成年的形态。"')

chinese_format.kif 4025-4026
s__documentation(s__Larval,s__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 17443-17445
s__externalImage(s__Larval,'"http://upload.wikimedia.org/wikipedia/commons/a/a3/ Nachtkerzenschwaermer_Raupe.jpg"')

pictureList.kif 6660-6660
s__subAttribute(s__Larval,s__NonFullyFormed)

Merge.kif 17442-17442 Larval is a subattribute of non fully formed

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


s__contraryAttribute__2(s__Embryonic,s__Larval)

Merge.kif 17467-17467 Embryonic is the opposite of larval
s__termFormat(s__ChineseLanguage,s__Larval,'"幼虫"')

domainEnglishFormat.kif 33378-33378
s__termFormat(s__ChineseTraditionalLanguage,s__Larval,'"幼蟲"')

domainEnglishFormat.kif 33377-33377
s__termFormat(s__EnglishLanguage,s__Larval,'"larval"')

domainEnglishFormat.kif 33376-33376

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17458-17464

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


( ! [V__B,V__C] :
   ((s__instance(V__B,s__Class) =>
       ((s__instance(V__C,s__Caterpillar) =>
           ((s__attribute(V__C,s__Larval) &
               (s__subclass(V__C,s__Moth) |
                 s__subclass(V__B,s__Butterfly)))))))
     )
   )

Mid-level-ontology.kif 11816-11822
( ! [V__S] :
   ((s__instance(V__S,s__Silk) =>
       (( ? [V__M, V__T, V__I] :
           ((s__instance(V__T,s__Object) &
               (s__instance(V__M,s__Making) &
                 s__result(V__M,V__S)
               &
               s__resource(V__M,V__T)
             &
             s__part(V__T,V__I)
           &
           s__instance(V__I,s__Insect) &
           s__attribute(V__I,s__Larval)))))))
)
)

Mid-level-ontology.kif 5060-5069


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