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 9248-9249
(subclass PlantAreole Organ) Mid-level-ontology.kif 9247-9247
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9246-9246

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 9251-9253
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9262-9269
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))
Mid-level-ontology.kif 9255-9260


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