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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlantAreole

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 9629-9630
(subclass PlantAreole Organ) Mid-level-ontology.kif 9628-9628 Plant areole is a subclass of organ
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9627-9627 Plant areole is a subclass of plant anatomical structure

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


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

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 9632-9634
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))
Mid-level-ontology.kif 9643-9650
(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC)
        (and
            (instance ?CAC Cactus)
            (part ?AREOLE ?CAC))))
Mid-level-ontology.kif 9636-9641


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