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 14139-14141
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 14138-14138 Plant is a subclass of organism

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4315-4315 Alfalfa is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4319-4319 Clover is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Merge.kif 14143-14143 Flowering plant is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4324-4324 Forage crop is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Merge.kif 14147-14147 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 21084-21084 The number 2 argument of productOfPlant is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Geography.kif 6086-6086 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 6115-6115 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 14096-14096 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 9162-9174
No TPTP formula. May not be expressible in strict first order. Geography.kif 6098-6106
No TPTP formula. May not be expressible in strict first order. Geography.kif 6088-6096

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19397-19403
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 14747-14752
No TPTP formula. May not be expressible in strict first order. Merge.kif 14563-14568
No TPTP formula. May not be expressible in strict first order. Geography.kif 6291-6293


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