![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation ReproductiveBody ChineseLanguage "这是 Organism 的繁殖结构,它包括 Embryonic Object 和一个 营养/ 保护包。注:这个类别包括种子、孢子、 FruitOrVegetable 和由 Animal 排的蛋。") | chinese_format.kif 3499-3500 | |
(documentation ReproductiveBody EnglishLanguage "Reproductive structure of Organisms. Consists of an Embryonic Object and a nutritive/ protective envelope. Note that this class includes seeds, spores, and FruitOrVegetables, as well as the eggs produced by Animals.") | Merge.kif 14755-14758 | |
(externalImage ReproductiveBody "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Senegal_egg_10s06.JPG/ 111px-Senegal_egg_10s06.JPG") | pictureList.kif 1233-1233 | |
(subclass ReproductiveBody BodyPart) | Merge.kif 14754-14754 |
appearance as argument number 2 |
![]() |
(subclass EdibleNut ReproductiveBody) | Economy.kif 4155-4155 | |
(subclass Egg ReproductiveBody) | Merge.kif 14760-14760 | |
(subclass FruitOrVegetable ReproductiveBody) | Merge.kif 14790-14790 | |
(subclass Mushroom ReproductiveBody) | Food.kif 659-659 | |
(subclass Pollen ReproductiveBody) | Merge.kif 14783-14783 | |
(subclass Seed ReproductiveBody) | Merge.kif 14771-14771 | |
(subclass Spore ReproductiveBody) | Merge.kif 14796-14796 | |
(termFormat ChineseLanguage ReproductiveBody "繁殖体") | chinese_format.kif 1017-1017 | |
(termFormat EnglishLanguage ReproductiveBody "reproductive body") | english_format.kif 1246-1246 |
antecedent |
![]() |
(=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 17857-17862 |
consequent |
![]() |
(=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY)))) |
Merge.kif 17936-17941 | |
(=> (holdsDuring ?T (attribute ?A Clothed)) (holdsDuring ?T (not (exists (?P) (and (instance ?P ReproductiveBody) (part ?P ?A) (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?P))))))))) |
Mid-level-ontology.kif 29562-29575 | |
(=> (instance ?REP Replication) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (result ?REP ?BODY)))) |
Merge.kif 10236-10241 |
![]() |
![]() |