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 6296-6299
(subclass Cactus FloweringPlant)	Geography.kif 6295-6295	Cactus is a subclass of flowering plant

appearance as argument number 2

(termFormat EnglishLanguage Cactus "cactus")

domainEnglishFormat.kif 64634-64634

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

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 6315-6320	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 9834-9841	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 9827-9832	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: