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


KB Term:  Term intersection
English Word: 

Sigma KEE - Cactus
Cactus(cactus)cactus

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


(subclass Cactus FloweringPlant) Geography.kif 7895-7895 Cactus is a subclass of flowering plant
(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 7896-7899 Cactus is a subclass of flowering plant

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


(termFormat EnglishLanguage Cactus "cactus") domainEnglishFormat.kif 64589-64589

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


(=>
    (instance ?CAC Cactus)
    (modalAttribute
        (exists (?AREA)
            (and
                (instance ?AREA GeographicArea)
                (located ?CAC ?AREA)
                (exists (?D)
                    (and
                        (instance ?D Drought)
                        (eventLocated ?D ?AREA))))) Likely))		 Geography.kif 7902-7912 If X is an instance of cactus, then the statement there exists Y such that Y is an instance of geographic area, X is located at Y, there exists Z such that Z is an instance of drought, and Z is located at Y has the modal force of likely

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


(=>
    (instance ?A PlantAreole)
    (exists (?C)
        (and
            (instance ?C Cactus)
            (part ?A ?C))))		 Geography.kif 7924-7929 If X is an instance of plant areole, then there exists Y such that Y is an instance of cactus and X is a part of Y
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))		 Geography.kif 7931-7936 If X is an instance of plant areole, then there exists Y such that Y is an instance of cactus and X is a part of Y
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))		 Geography.kif 7938-7945 If X is an instance of plant areole, then there exist Y, Z such that Y is an instance of cactus, Z is an instance of plant spinose structure, Z is a part of cactus, Z, and X overlapsSpatially


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