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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Swamp

Sigma KEE - Swamp
Swamp(swamp)
Everglades, Okefenokee_Swamp, boggy, fen, fenland, marsh, marshland, marshy, mire, miry, morass, mucky, muddy, quag, quaggy, quagmire, salt_marsh, slack, sloppy, slough, sloughy, soggy, squashy, swamp, swampland, swampy, waterlogged, wetland

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6608-6609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6908-6908
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8016-8016
No TPTP formula. May not be expressible in strict first order. Geography.kif 6607-6607 Swamp is a subclass of biome

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56457-56457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56456-56456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56455-56455

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6611-6613
No TPTP formula. May not be expressible in strict first order. Geography.kif 6615-6617


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

Show without tree


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