Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| s__subclass(s__ReproductiveBody,s__BodyPart)
|
Merge.kif 15314-15314 | Reproductive body is a subclass of body part |
| s__documentation(s__ReproductiveBody, s__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 15315-15318 | Reproductive body is a subclass of body part |
| s__externalImage(s__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 |
|
|
| ! [V__BODY,V__ORG] : (((s__instance(V__BODY,s__ReproductiveBody) & s__part(V__BODY,V__ORG) & s__instance(V__ORG,s__Organism)) => s__attribute(V__ORG,s__Female)) )
|
Merge.kif 18458-18463 | 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 |
|
|
| ! [V__REP] : ((s__instance(V__REP,s__Replication) => (? [V__BODY] : ((s__instance(V__BODY,s__ReproductiveBody) & s__result(V__REP,V__BODY))))) )
|
Merge.kif 10570-10575 | 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 |
| ! [V__ORG] : ((s__instance(V__ORG,s__Object) => (s__attribute(V__ORG,s__Embryonic) => (? [V__BODY] : ((s__instance(V__BODY,s__ReproductiveBody) & s__located(V__ORG,V__BODY)))))) )
|
Merge.kif 18537-18542 | 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 |
| ! [V__A : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__A, s__Clothed)) => s__holdsDuring(V__T, ~(( ? [V__P:$i] : ((s__instance(V__P, s__ReproductiveBody) & s__part(V__P, V__A) & ~(( ? [V__C:$i] : ((s__instance(V__C, s__Clothing) & s__covers(V__C, V__P)))))))))))) | Mid-level-ontology.kif 32794-32807 | 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 |
|