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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creek

 Sigma KEE - Creek
Creek(creek)
Aegospotami, Aegospotamos, arroyo, brook, brooklet, creek, draw, fountain, natural_spring, outflow, outpouring, spring

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5675-5675 Creek is disjoint from river
No TPTP formula. May not be expressible in strict first order. Geography.kif 5676-5677
No TPTP formula. May not be expressible in strict first order. pictureList.kif 893-893
No TPTP formula. May not be expressible in strict first order. Geography.kif 5672-5672 Creek is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5674-5674 Creek is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5673-5673 Creek is a subclass of stream water area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17802-17802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17801-17801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17800-17800

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5678-5682


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