PlantLeaf - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10817-10818
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10816-10816	Plant leaf is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10815-10815	Plant leaf 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 65347-65347

appearance as argument number 3

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

Geography.kif 6508-6508

The number 2 argument of shedding leaves is an instance of plant leaf

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6618-6623	If a plant is an instance of evergreen tree and a plant leaf is an instance of plant leaf, then not the plant is a Removing the plant leaf from its stems
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6463-6474	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4576-4580	If a kind of object is a subclass of plant leaf and a kind of object is equal to cabbage, then every the kind of object is initially part of a cabbage plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4551-4555	If a kind of object is a subclass of plant leaf and a kind of object is equal to leafy green vegetable, then every the kind of object is initially part of a plant

consequent

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

Mid-level-ontology.kif 10908-10921