PlantSpinoseStructure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9578-9579
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9577-9577	Plant spinose structure is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9576-9576	Plant spinose structure is a subclass of plant anatomical structure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65325-65325

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9581-9585	If an object is an instance of plant spinose structure, then long and thin is an attribute of the object and rigid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9587-9598	If an entity is an instance of plant spinose structure, 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

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 9616-9623