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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creek

 Sigma KEE - Creek
Creek(溪)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5675-5675 溪 和 % 2 是 disjoint
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 溪 是 水体 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5674-5674 溪 是 淡水区 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5673-5673 溪 是 溪水区 的 subclass

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