TreeView Knowledge Base Browser

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 14749-14752
(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 14748-14748	Reproductive body is a subclass of body part

appearance as argument number 2

(subclass EdibleNut ReproductiveBody)	Economy.kif 4155-4155	Edible nut is a subclass of reproductive body
(subclass Egg ReproductiveBody)	Merge.kif 14754-14754	Egg is a subclass of reproductive body
(subclass FruitOrVegetable ReproductiveBody)	Merge.kif 14784-14784	Fruit or vegetable is a subclass of reproductive body
(subclass Mushroom ReproductiveBody)	Food.kif 659-659	Mushroom is a subclass of reproductive body
(subclass Pollen ReproductiveBody)	Merge.kif 14777-14777	Pollen is a subclass of reproductive body
(subclass Seed ReproductiveBody)	Merge.kif 14765-14765	Seed is a subclass of reproductive body
(subclass Spore ReproductiveBody)	Merge.kif 14790-14790	Spore is a subclass of reproductive body
(termFormat ChineseLanguage ReproductiveBody "繁殖体")	chinese_format.kif 1017-1017
(termFormat EnglishLanguage ReproductiveBody "reproductive body")	english_format.kif 1246-1246

antecedent

(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))

Merge.kif 17851-17856

If an object is an instance of reproductive body and the object is a part of another object and the other object is an instance of organism,
then female is an attribute of the other object

consequent

(=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?BODY))))	Merge.kif 17930-17935	If embryonic is an attribute of an object, then there exists another object such that the other object is an instance of reproductive body and the object is located at the other object
(=> (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 29558-29571	If Clothed is an attribute of an entity holds during a time position, then there doesn't exist another entity such that the other entity is an instance of reproductive body and the other entity is a part of the entity and there doesn't exist a third entity such that the third entity is an instance of clothing and the third entity covers the other entity holds during the time position
(=> (instance ?REP Replication) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (result ?REP ?BODY))))	Merge.kif 10230-10235	If a process is an instance of replication, then there exists an entity such that the entity is an instance of reproductive body and the entity is a result of the process

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

KB Term:			Term intersection

English Word: