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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReproductiveBody
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 13978-13981
(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 13977-13977 繁殖体身体部位subclass

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


(subclass EdibleNut ReproductiveBody) Economy.kif 4017-4017 食用坚果繁殖体subclass
(subclass Egg ReproductiveBody) Merge.kif 13983-13983 繁殖体subclass
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 14013-14013 水果或蔬菜繁殖体subclass
(subclass Mushroom ReproductiveBody) Food.kif 674-674 Mushroom繁殖体subclass
(subclass Pollen ReproductiveBody) Merge.kif 14006-14006 花粉繁殖体subclass
(subclass Seed ReproductiveBody) Merge.kif 13994-13994 种子繁殖体subclass
(subclass Spore ReproductiveBody) Merge.kif 14019-14019 孢子繁殖体subclass
(termFormat ChineseLanguage ReproductiveBody "繁殖体") chinese_format.kif 1017-1017
(termFormat EnglishLanguage ReproductiveBody "reproductive body") english_format.kif 1251-1251

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


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

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


(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))
Merge.kif 16926-16931
(=>
    (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 28353-28366
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 9765-9770


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