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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReproductiveBody

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 15019-15022
(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 15018-15018

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


(subclass Egg ReproductiveBody) Merge.kif 15024-15024
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15055-15055
(subclass Mushroom ReproductiveBody) Food.kif 2683-2683
(subclass Pollen ReproductiveBody) Merge.kif 15048-15048
(subclass Seed ReproductiveBody) Merge.kif 15036-15036
(subclass Spore ReproductiveBody) Merge.kif 15061-15061
(termFormat ChineseLanguage ReproductiveBody "繁殖体") chinese_format.kif 1017-1017
(termFormat EnglishLanguage ReproductiveBody "reproductive body") english_format.kif 1246-1246
(termFormat FrenchLanguage ReproductiveBody "corps reproducteur") french_format.kif 695-695
(termFormat Hindi ReproductiveBody "janana sharIra") terms-hindi.txt 226-226
(termFormat ItalianLanguage ReproductiveBody "CorpoRiproduttivo") terms-it.txt 229-229
(termFormat JapaneseLanguage ReproductiveBody "生殖体") japanese_format.kif 2378-2378
(termFormat PortugueseLanguage ReproductiveBody "Corpo Reprodutor") portuguese_format.kif 647-647
(termFormat cz ReproductiveBody "reproductive body") terms-cz.txt 264-264
(termFormat ro ReproductiveBody "corp reproductiv") relations-ro.kif 716-716
(termFormat tg ReproductiveBody "bahagi ng kapanganakan") terms-tg.txt 230-230

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


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

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


(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))
Merge.kif 18196-18201
(=>
    (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 30160-30173
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))
Merge.kif 10323-10328


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

Show without tree


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