| ReproductiveBody(reproductive body)
| | Job's_tears, Mexican_jumping_bean, accessory_fruit, acinus, acorn, aggregate_fruit, algarroba, algarroba_bean, amaranth, antherozoid, apple_nut, archespore, archesporium, ariled, arillate, arthrospore, arthrosporic, arthrosporous, ascosporic, ascosporous, ash-key, bacca, basidial, basidiosporous, buckeye, buckthorn_berry, bur, burr, calabar_bean, calabash, capsulate, capsulated, carob, carob_bean, carposporic, carposporous, caryopsis, cedar_nut, cembra_nut, chickpea, cola_nut, conker, cormose, cormous, cowage, cubeb, divi-divi, drupe, drupelet, false_fruit... |
| appearance as argument number 1 |
|
|
| (subclass ReproductiveBody BodyPart) | Merge.kif 15193-15193 | Reproductive body is a subclass of body part |
| (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 15194-15197 | Reproductive body is a subclass of body part |
| (externalImage ReproductiveBody "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Senegal_egg_10s06.JPG/ 111px_Senegal_egg_10s06.JPG") | pictureList.kif 1232-1232 | Reproductive body is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 18324-18329 | If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y |
| consequent |
|
|
| (=> (instance ?REP Replication) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (result ?REP ?BODY)))) |
Merge.kif 10483-10488 | If X is an instance of replication, then there exists Y such that Y is an instance of reproductive body and Y is a result of X |
| (=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY)))) |
Merge.kif 18403-18408 | If embryonic is an attribute of X, then there exists Y such that Y is an instance of reproductive body and X is located at Y |
| (=> (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 32824-32837 | If clothed is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of reproductive body, Z is a part of X, there doesn't exist W such that W is an instance of clothing, and W covers Z holds during Y |
|
|
|