| Larval
| |
| 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 18338-18340 | |
| (externalImage Larval "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Nachtkerzenschwaermer_Raupe.jpg") | pictureList.kif 6658-6658 | |
| (subAttribute Larval NonFullyFormed) | Merge.kif 18337-18337 | Larval は NonFullyFormed の subattribute では |
| appearance as argument number 2 |
|
|
| (contraryAttribute Embryonic Larval) | Merge.kif 18362-18362 | Embryonic は Larval の disjoint では |
| (termFormat ChineseLanguage Larval "幼虫") | domainEnglishFormat.kif 33402-33402 | Embryonic は Larval の disjoint では |
| (termFormat ChineseTraditionalLanguage Larval "幼蟲") | domainEnglishFormat.kif 33401-33401 | Embryonic は Larval の disjoint では |
| (termFormat EnglishLanguage Larval "larval") | domainEnglishFormat.kif 33400-33400 | Embryonic は Larval の disjoint では |
| antecedent |
|
|
| (=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME)) |
Merge.kif 18353-18359 |
| 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 13937-13947 | |
| (=> (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 6328-6337 |
|
|
|