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 7911-7914
(subclass Cactus FloweringPlant)	Geography.kif 7910-7910	Cactus is a subclass of flowering plant

appearance as argument number 2

(termFormat EnglishLanguage Cactus "cactus")

domainEnglishFormat.kif 64579-64579

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

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 7930-7935	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 10939-10946	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 10932-10937	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: