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 9602-9603
(subclass PlantAreole Organ) Mid-level-ontology.kif 9601-9601 PlantAreole est une sous-classe de organe
(subclass PlantAreole PlantAnatomicalStructure) Mid-level-ontology.kif 9600-9600 PlantAreole est une sous-classe de PlantAnatomicalStructure

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 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