TreeView Knowledge Base Browser - PlantAreole

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 9601-9602
(subclass PlantAreole Organ)	Mid-level-ontology.kif 9600-9600	Plant areole is a subclass of organ
(subclass PlantAreole PlantAnatomicalStructure)	Mid-level-ontology.kif 9599-9599	Plant areole is a subclass of plant anatomical structure

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	If an object is an instance of plant areole, then there exists another object such that the other object is an instance of cactus and the object is a part of the other object
(=> (instance ?AREOLE PlantAreole) (attribute ?AREOLE Concave))	Mid-level-ontology.kif 9604-9606	If an object is an instance of plant areole, then concave is an attribute of the object
(=> (instance ?AREOLE PlantAreole) (exists (?CAC ?SPINE) (and (instance ?CAC Cactus) (instance ?SPINE PlantSpinoseStructure) (part ?SPINE Cactus) (overlapsSpatially ?SPINE ?AREOLE))))	Mid-level-ontology.kif 9615-9622	If an object is an instance of plant areole, then there exist an entity and another object such that the entity is an instance of cactus and the other object is an instance of plant spinose structure and the other object is a part of cactus and the other object and the object overlapsSpatially
(=> (instance ?AREOLE PlantAreole) (exists (?CAC) (and (instance ?CAC Cactus) (part ?AREOLE ?CAC))))	Mid-level-ontology.kif 9608-9613	If an object is an instance of plant areole, then there exists another object such that the other object is an instance of cactus and the object is a part of the other object

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