Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Perception

 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
-------------------------


(subclass ReproductiveBody BodyPart) Merge.kif 15314-15314 Reproductive body is a subclass of body part
(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 15315-15318 Reproductive body is a subclass of body part
(externalImage ReproductiveBody "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Senegal_egg_10s06.JPG/ 111px_Senegal_egg_10s06.JPG") pictureList.kif 1232-1232 Reproductive body is a subclass of body part

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


(subclass Egg ReproductiveBody) Merge.kif 15320-15320 Egg is a subclass of reproductive body
(subclass Seed ReproductiveBody) Merge.kif 15332-15332 Seed is a subclass of reproductive body
(subclass Pollen ReproductiveBody) Merge.kif 15344-15344 Pollen is a subclass of reproductive body
(subclass FruitOrVegetable ReproductiveBody) Merge.kif 15351-15351 Fruit or vegetable is a subclass of reproductive body
(subclass Spore ReproductiveBody) Merge.kif 15357-15357 Spore is a subclass of reproductive body
(subclass Mushroom ReproductiveBody) Food.kif 2711-2711 Mushroom is a subclass of reproductive body
(termFormat EnglishLanguage ReproductiveBody "reproductive body") english_format.kif 1250-1250 Mushroom is a subclass of reproductive body

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


(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))		 Merge.kif 18458-18463 If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y

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


(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?BODY))))		 Merge.kif 10570-10575 If X is an instance of replication, then there exists Y such that Y is an instance of reproductive body and Y is a result of X
(=>
    (attribute ?ORG Embryonic)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (located ?ORG ?BODY))))		 Merge.kif 18537-18542 If embryonic is an attribute of X, then there exists Y such that Y is an instance of reproductive body and X is located at Y
(=>
    (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 32794-32807 If clothed is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of reproductive body, Z is a part of X, there doesn't exist W such that W is an instance of clothing, and W covers Z holds during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners