Cactus - Sigma Knowledge base Browser

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 6364-6367
(subclass Cactus FloweringPlant)	Geography.kif 6363-6363	Cactus is a subclass of flowering plant

appearance as argument number 2

(termFormat EnglishLanguage Cactus "cactus")

domainEnglishFormat.kif 64609-64609

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

If an entity is an instance of cactus,
then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely

consequent

(=> (instance ?A PlantAreole) (exists (?C) (and (instance ?C Cactus) (part ?A ?C))))	Geography.kif 6383-6388	If an object is an instance of plant areole, then there exists another object such that the other object is an instance of cactus and the object is a part of the other object
(=> (instance ?AREOLE PlantAreole) (exists (?CAC ?SPINE) (and (instance ?CAC Cactus) (instance ?SPINE PlantSpinoseStructure) (part ?SPINE Cactus) (overlapsSpatially ?SPINE ?AREOLE))))	Mid-level-ontology.kif 10440-10447	If an object is an instance of plant areole, then there exist an entity and another object such that the entity is an instance of cactus and the other object is an instance of plant spinose structure and the other object is a part of cactus and the other object and the object overlapsSpatially
(=> (instance ?AREOLE PlantAreole) (exists (?CAC) (and (instance ?CAC Cactus) (part ?AREOLE ?CAC))))	Mid-level-ontology.kif 10433-10438	If an object is an instance of plant areole, then there exists another object such that the other object is an instance of cactus and the object is a part of the other object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: