Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	If an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	Plant is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14404-14404	Flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14408-14408	Non flowering plant is a subclass of plant

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners