Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReproductiveBody
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
-------------------------


(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 15093-15096
(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 15092-15092 Reproductive body is a subclass of body part

appearance as argument number 2
-------------------------


(subclass Egg ReproductiveBody) Merge.kif 15098-15098 Egg is a subclass of reproductive body
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15129-15129 Fruit or vegetable is a subclass of reproductive body
(subclass Mushroom ReproductiveBody) Food.kif 2683-2683 Mushroom is a subclass of reproductive body
(subclass Pollen ReproductiveBody) Merge.kif 15122-15122 Pollen is a subclass of reproductive body
(subclass Seed ReproductiveBody) Merge.kif 15110-15110 Seed is a subclass of reproductive body
(subclass Spore ReproductiveBody) Merge.kif 15135-15135 Spore is a subclass of reproductive body
(termFormat ChineseLanguage ReproductiveBody "繁殖体") chinese_format.kif 1017-1017 Spore is a subclass of reproductive body
(termFormat EnglishLanguage ReproductiveBody "reproductive body") english_format.kif 1246-1246 Spore is a subclass of reproductive body
(termFormat FrenchLanguage ReproductiveBody "corps reproducteur") french_format.kif 695-695 Spore is a subclass of reproductive body
(termFormat Hindi ReproductiveBody "janana sharIra") terms-hindi.txt 226-226 Spore is a subclass of reproductive body
(termFormat ItalianLanguage ReproductiveBody "CorpoRiproduttivo") terms-it.txt 229-229 Spore is a subclass of reproductive body
(termFormat JapaneseLanguage ReproductiveBody "生殖体") japanese_format.kif 2378-2378 Spore is a subclass of reproductive body
(termFormat PortugueseLanguage ReproductiveBody "Corpo Reprodutor") portuguese_format.kif 647-647 Spore is a subclass of reproductive body
(termFormat cz ReproductiveBody "reproductive body") terms-cz.txt 264-264 Spore is a subclass of reproductive body
(termFormat de ReproductiveBody "reproduktive Koerper") terms-de.txt 523-523 Spore is a subclass of reproductive body
(termFormat ro ReproductiveBody "corp reproductiv") relations-ro.kif 716-716 Spore is a subclass of reproductive body
(termFormat tg ReproductiveBody "bahagi ng kapanganakan") terms-tg.txt 230-230 Spore is a subclass of reproductive body

antecedent
-------------------------


(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 18221-18226

consequent
-------------------------


(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))
Merge.kif 18300-18305
(=>
    (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 31274-31287
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10388-10393


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners