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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantAreole
PlantAreole(plant areole)

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


(documentation PlantAreole EnglishLanguage "In botany, PlantAreoles are bumps on Cactus from which clusters of spines grow.") Mid-level-ontology.kif 9820-9821
(subclass PlantAreole Organ) Mid-level-ontology.kif 9819-9819 Plant areole is a subclass of organ
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9818-9818 Plant areole is a subclass of plant anatomical structure

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


(termFormat EnglishLanguage PlantAreole "plant areole") domainEnglishFormat.kif 65370-65370

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


(=>
    (instance ?A PlantAreole)
    (exists (?C)
        (and
            (instance ?C Cactus)
            (part ?A ?C))))		 Geography.kif 6315-6320
(=>
    (instance ?AREOLE PlantAreole)
    (attribute ?AREOLE Concave))		 Mid-level-ontology.kif 9823-9825
(=>
    (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
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))		 Mid-level-ontology.kif 9827-9832


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