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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cactus

Sigma KEE - Cactus
Cactus

appearance as argument number 1
-------------------------


(documentation Cactus EnglishLanguage "The word Cactus derives, through Latin, from Greek Kaktos, a name for spiny plant. Most Cacti live in habitats subject to at least some drought. Almost all cacti are succulents. Areoles are structures unique to cacti. (Reference wikipedia)") Geography.kif 6189-6192
(subclass Cactus FloweringPlant) Geography.kif 6188-6188 Cactus is a subclass of flowering plant

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


(=>
    (instance ?CAC Cactus)
    (modalAttribute
        (and
            (instance ?AREA GeographicArea)
            (located ?CAC ?AREA)
            (exists (?D)
                (and
                    (instance ?D Drought)
                    (eventLocated ?D ?AREA)))) Likely))
Geography.kif 6195-6204

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


(=>
    (instance ?A PlantAreole)
    (exists (?C)
        (and
            (instance ?C Cactus)
            (part ?A ?C))))
Geography.kif 6207-6212
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9212-9219
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))
Mid-level-ontology.kif 9205-9210


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