| ReproductiveBody
| |
| 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 15172-15175 | |
| (externalImage ReproductiveBody "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Senegal_egg_10s06.JPG/ 111px_Senegal_egg_10s06.JPG") | pictureList.kif 1232-1232 | |
| (subclass ReproductiveBody BodyPart) | Merge.kif 15171-15171 |
| appearance as argument number 2 |
|
|
| (subclass Egg ReproductiveBody) | Merge.kif 15177-15177 | |
| (subclass FruitOrVegetable ReproductiveBody) | Merge.kif 15208-15208 | |
| (subclass Mushroom ReproductiveBody) | Food.kif 2690-2690 | |
| (subclass Pollen ReproductiveBody) | Merge.kif 15201-15201 | |
| (subclass Seed ReproductiveBody) | Merge.kif 15189-15189 | |
| (subclass Spore ReproductiveBody) | Merge.kif 15214-15214 | |
| (termFormat ChineseLanguage ReproductiveBody "繁殖体") | chinese_format.kif 1017-1017 | |
| (termFormat EnglishLanguage ReproductiveBody "reproductive body") | english_format.kif 1246-1246 | |
| (termFormat FrenchLanguage ReproductiveBody "corps reproducteur") | french_format.kif 695-695 | |
| (termFormat Hindi ReproductiveBody "janana sharIra") | terms-hindi.txt 226-226 | |
| (termFormat ItalianLanguage ReproductiveBody "CorpoRiproduttivo") | terms-it.txt 229-229 | |
| (termFormat JapaneseLanguage ReproductiveBody "生殖体") | japanese_format.kif 2378-2378 | |
| (termFormat PortugueseLanguage ReproductiveBody "Corpo Reprodutor") | portuguese_format.kif 647-647 | |
| (termFormat cz ReproductiveBody "reproductive body") | terms-cz.txt 264-264 | |
| (termFormat de ReproductiveBody "reproduktive Koerper") | terms-de.txt 523-523 | |
| (termFormat ro ReproductiveBody "corp reproductiv") | relations-ro.kif 716-716 | |
| (termFormat tg ReproductiveBody "bahagi ng kapanganakan") | terms-tg.txt 230-230 |
| antecedent |
|
|
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18304-18309 |
| consequent |
|
|
| (=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY)))) |
Merge.kif 18383-18388 | |
| (=> (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 32078-32091 | |
| (=> (instance ?REP Replication) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (result ?REP ?BODY)))) |
Merge.kif 10463-10468 |
|
|
|