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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantAreole

 Sigma KEE - PlantAreole
PlantAreole

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 9198-9199
(subclass PlantAreole Organ) Mid-level-ontology.kif 9197-9197 PlantAreole is a subclass of organ
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9196-9196 PlantAreole is a subclass of plant anatomical structure

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


(=>
    (instance ?A PlantAreole)
    (exists (?C)
        (and
            (instance ?C Cactus)
            (part ?A ?C))))		 Geography.kif 6207-6212
(=>
    (instance ?AREOLE PlantAreole)
    (attribute ?AREOLE Concave))		 Mid-level-ontology.kif 9201-9203
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))		 Mid-level-ontology.kif 9212-9219
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))		 Mid-level-ontology.kif 9205-9210


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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