Larval - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute Larval NonFullyFormed)	Merge.kif 18506-18506	Larval is a subattribute of non fully formed
(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 18507-18509	Larval is a subattribute of non fully formed
(externalImage Larval "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Nachtkerzenschwaermer_Raupe.jpg")	pictureList.kif 6658-6658	Larval is a subattribute of non fully formed

appearance as argument number 2

(contraryAttribute Embryonic Larval)	Merge.kif 18531-18531	Embryonic is the opposite of larval
(termFormat EnglishLanguage Larval "larval")	domainEnglishFormat.kif 33393-33393	Embryonic is the opposite of larval
(termFormat ChineseTraditionalLanguage Larval "幼蟲")	domainEnglishFormat.kif 33394-33394	Embryonic is the opposite of larval
(termFormat ChineseLanguage Larval "幼虫")	domainEnglishFormat.kif 33395-33395	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))

If larval is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W meets Y

consequent

(=> (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 6510-6519	If X is an instance of silk, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) W is an instance of insect (7) larval is an attribute of W
(=> (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