TreeView Knowledge Base Browser - PlantSpinoseStructure

appearance as argument number 1

(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 9174-9175
(subclass PlantSpinoseStructure Organ)	Mid-level-ontology.kif 9173-9173	PlantSpinoseStructure is a subclass of organ
(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 9172-9172	PlantSpinoseStructure is a subclass of plant anatomical structure

antecedent

(=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid)))	Mid-level-ontology.kif 9177-9181	If an object is an instance of PlantSpinoseStructure, then long and thin is an attribute of the object and rigid is an attribute of the object
(=> (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 9183-9194	If an entity is an instance of PlantSpinoseStructure, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of inserting and the entity is an instrument for the other entity and the fourth entity is an instance of animal and the fourth entity is a patient of the other entity and the other entity causes the third entity and the third entity is an instance of pain and the fourth entity experiences the third entity 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))))

Mid-level-ontology.kif 9212-9219