Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plant
Plant(plant)
Christmas_tree, Linum, Mary_Jane, Plantae, Pteropsida, Tracheophyta, acarpellous, acarpelous, acaulescent, achlamydeous, acyclic, adventive, aerophyte, aggregate, air_plant, alpestrine, alpine, amaranthine, amentaceous, amentiferous, amphitropous, anatropous, annual, aphyllous, apocarpous, aquatic, aquatic_plant, autophyte, autophytic_plant, autotroph, autotrophic_organism, basal, biennial, bifid, bignoniaceous, bilabiate, bladed, blanched, bog_plant, botany, boutonniere, brachiate, braky, brambly, branched, branching, branchless, brier, brier_patch, brierpatch...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3379-3380
No TPTP formula. May not be expressible in strict first order. Merge.kif 13797-13799
No TPTP formula. May not be expressible in strict first order. pictureList.kif 876-876
No TPTP formula. May not be expressible in strict first order. pictureList.kif 151-151
No TPTP formula. May not be expressible in strict first order. Merge.kif 13796-13796 Plant is a subclass of organism

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4165-4165 Alfalfa is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4169-4169 Clover is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Merge.kif 13801-13801 Flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4174-4174 Forage crop is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Merge.kif 13805-13805 Non flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 965-965
No TPTP formula. May not be expressible in strict first order. english_format.kif 1137-1137

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21033-21033 The number 2 argument of productOfPlant is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Geography.kif 5996-5996 The number 2 argument of vegetation type is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Geography.kif 6024-6024 The number 2 argument of vegetation type pattern is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Merge.kif 13754-13754 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9132-9144
No TPTP formula. May not be expressible in strict first order. Geography.kif 6007-6015
No TPTP formula. May not be expressible in strict first order. Geography.kif 5998-6006

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19346-19352
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. Merge.kif 14405-14410
No TPTP formula. May not be expressible in strict first order. Merge.kif 14221-14226
No TPTP formula. May not be expressible in strict first order. Geography.kif 6200-6202


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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