PlantSpinoseStructure - Sigma Knowledge base Browser

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 9577-9578
(subclass PlantSpinoseStructure Organ)	Mid-level-ontology.kif 9576-9576	子類 PlantSpinoseStructure and Organ
(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 9575-9575	子類 PlantSpinoseStructure and 植物解剖結構

appearance as argument number 2

domainEnglishFormat.kif 65325-65325

antecedent

(=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid)))	Mid-level-ontology.kif 9580-9584	例 Object and PlantSpinoseStructure attribute Object and 又長又瘦 attribute Object and 硬性
(=> (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 9586-9597	例 Entity and PlantSpinoseStructure 模態屬性 entity entity and entity 例 entity and 插入儀器 entity and Entity 例 entity and Animal 患者 entity and entity 原因 entity and entity 例 entity and 痛體驗者 entity and entity and 可能性

consequent

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