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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Moss
Moss(moss)Andreaea, Andreaeales, Anthoceropsida, Anthoceros, Anthocerotaceae, Anthocerotales, Bryaceae, Bryales, Bryophyta, Bryopsida, Bryum, Dicranaceae, Dicranales, Dicranum, Eubryales, Hepaticae, Hepaticopsida, Jungermanniaceae, Jungermanniales, Marchantia, Marchantia_polymorpha, Marchantiaceae, Marchantiales, Mniaceae, Mnium, Musci, Sphaerocarpaceae, Sphaerocarpales, Sphaerocarpos, Sphaerocarpus, Sphagnales, acrocarp, acrocarpous, acrocarpous_moss, bog_moss, bryophyte, class_Anthoceropsida, class_Bryopsida, class_Hepaticae, class_Hepaticopsida, class_Musci, division_Bryophyta, family_Anthocerotaceae, family_Bryaceae, family_Dicranaceae, family_Jungermanniaceae, family_Marchantiaceae, family_Mniaceae, family_Sphaerocarpaceae, genus_Andreaea...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3388-3389
No TPTP formula. May not be expressible in strict first order. Merge.kif 14438-14439
No TPTP formula. May not be expressible in strict first order. Merge.kif 14437-14437 Moss is a subclass of non flowering plant

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 970-970
No TPTP formula. May not be expressible in strict first order. english_format.kif 1147-1147
No TPTP formula. May not be expressible in strict first order. french_format.kif 647-647
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 178-178
No TPTP formula. May not be expressible in strict first order. terms-it.txt 181-181
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2331-2331
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 599-599
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 183-183
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 215-215
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 668-668
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 182-182

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14410-14410 Non flowering plant is disjointly decomposed into alga, fern, and moss

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6739-6741


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