Larval - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Larval ChineseLanguage "这是大多数 Invertebrate 、Amphibian 和 Fish 在紧随着孵化后的形态。这个形态基本上和它们成年的形态不同，而它们要经过蜕变才可以达到成年的形态。")	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 18245-18247
(externalImage Larval "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Nachtkerzenschwaermer_Raupe.jpg")	pictureList.kif 6659-6659
(subAttribute Larval NonFullyFormed)	Merge.kif 18244-18244	Larval is a subattribute of non fully formed

appearance as argument number 2

(contraryAttribute Embryonic Larval)	Merge.kif 18269-18269	Embryonic is the opposite of larval
(termFormat ChineseLanguage Larval "幼虫")	domainEnglishFormat.kif 33425-33425	Embryonic is the opposite of larval
(termFormat ChineseTraditionalLanguage Larval "幼蟲")	domainEnglishFormat.kif 33424-33424	Embryonic is the opposite of larval
(termFormat EnglishLanguage Larval "larval")	domainEnglishFormat.kif 33423-33423	Embryonic is the opposite of larval

antecedent

(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Larval))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (meetsTemporally ?BW ?TIME))

Merge.kif 18260-18266

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 12824-12834	If a physical is an instance of caterpillar, then there exists an entity such that the entity is equal to the physical and larval is an attribute of the entity and the entity is an instance of moth or the entity is an instance of butterfly holds during the time of existence of the physical
(=> (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 5385-5394	If an entity is an instance of silk, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object