TreeView Knowledge Base Browser - PlantSpinoseStructure

appearance as argument number 1

(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 11067-11067	Plant spinose structure is a subclass of plant anatomical structure
(subclass PlantSpinoseStructure Organ)	Mid-level-ontology.kif 11068-11068	Plant spinose structure is a subclass of organ
(documentation PlantSpinoseStructure EnglishLanguage "A PlantSpinoseStructure is either a thorn, a spine or a prinkle. They are rigid parts of a Plant with sharp ends.")	Mid-level-ontology.kif 11069-11070	Plant spinose structure is a subclass of organ

appearance as argument number 2

antecedent

(=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid)))	Mid-level-ontology.kif 11072-11076	If X is an instance of plant spinose structure, then long and thin is an attribute of X and rigid is an attribute of X
(=> (instance ?SPINE PlantSpinoseStructure) (modalAttribute (exists (?I ?P ?A) (and (instance ?I Inserting) (instrument ?I ?SPINE) (instance ?A Animal) (patient ?I ?A) (causes ?I ?P) (instance ?P Pain) (experiencer ?P ?A))) Possibility))	Mid-level-ontology.kif 11078-11089	If X is an instance of plant spinose structure, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) W is an instance of animal (5) W is a patient of Y (6) Y causes Z (7) Z is an instance of pain (8) W experiences Z has the modal force of possibility

consequent

(=>
    (instance ?AREOLE PlantAreole)
    (exists (?CAC ?SPINE)
        (and
            (instance ?CAC Cactus)
            (instance ?SPINE PlantSpinoseStructure)
            (part ?SPINE Cactus)
            (overlapsSpatially ?SPINE ?AREOLE))))