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 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 繁殖体身体部位subclass

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


(subclass Egg ReproductiveBody) Merge.kif 15177-15177 繁殖体subclass
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15208-15208 水果或蔬菜繁殖体subclass
(subclass Mushroom ReproductiveBody) Food.kif 2690-2690 Mushroom繁殖体subclass
(subclass Pollen ReproductiveBody) Merge.kif 15201-15201 花粉繁殖体subclass
(subclass Seed ReproductiveBody) Merge.kif 15189-15189 种子繁殖体subclass
(subclass Spore ReproductiveBody) Merge.kif 15214-15214 孢子繁殖体subclass
(termFormat ChineseLanguage ReproductiveBody "繁殖体") chinese_format.kif 1017-1017 孢子繁殖体subclass
(termFormat EnglishLanguage ReproductiveBody "reproductive body") english_format.kif 1246-1246 孢子繁殖体subclass
(termFormat FrenchLanguage ReproductiveBody "corps reproducteur") french_format.kif 695-695 孢子繁殖体subclass
(termFormat Hindi ReproductiveBody "janana sharIra") terms-hindi.txt 226-226 孢子繁殖体subclass
(termFormat ItalianLanguage ReproductiveBody "CorpoRiproduttivo") terms-it.txt 229-229 孢子繁殖体subclass
(termFormat JapaneseLanguage ReproductiveBody "生殖体") japanese_format.kif 2378-2378 孢子繁殖体subclass
(termFormat PortugueseLanguage ReproductiveBody "Corpo Reprodutor") portuguese_format.kif 647-647 孢子繁殖体subclass
(termFormat cz ReproductiveBody "reproductive body") terms-cz.txt 264-264 孢子繁殖体subclass
(termFormat de ReproductiveBody "reproduktive Koerper") terms-de.txt 523-523 孢子繁殖体subclass
(termFormat ro ReproductiveBody "corp reproductiv") relations-ro.kif 716-716 孢子繁殖体subclass
(termFormat tg ReproductiveBody "bahagi ng kapanganakan") terms-tg.txt 230-230 孢子繁殖体subclass

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


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