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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9602-9603
(subclass PlantAreole Organ) Mid-level-ontology.kif 9601-9601
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9600-9600

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


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

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 9605-9607
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9616-9623
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))
Mid-level-ontology.kif 9609-9614


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