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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreshWaterArea

 Sigma KEE - FreshWaterArea
FreshWaterArea(淡水区)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1451-1452
No TPTP formula. May not be expressible in strict first order. Merge.kif 14139-14140
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8493-8493
No TPTP formula. May not be expressible in strict first order. Merge.kif 14138-14138 淡水区 是 水域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14134-14134 盐水区 和 % 2 是 disjoint
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 5624-5624 贮水池 是 淡水区 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5473-5473 河 是 淡水区 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 952-952
No TPTP formula. May not be expressible in strict first order. english_format.kif 1111-1111
No TPTP formula. May not be expressible in strict first order. french_format.kif 628-628
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 159-159
No TPTP formula. May not be expressible in strict first order. terms-it.txt 162-162
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2313-2313
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 580-580
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 196-196
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 649-649
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 163-163

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5246-5251

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5246-5251
No TPTP formula. May not be expressible in strict first order. Geography.kif 6650-6655


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