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 9497-9498
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9496-9496	Plant leaf is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9495-9495	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 65326-65326

appearance as argument number 3

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

Geography.kif 6438-6438

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 6548-6553	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 6393-6404	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 4239-4243	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 4214-4218	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 9588-9601