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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreshWaterArea

 Sigma KEE - FreshWaterArea
FreshWaterArea(Area Aquatica nao-salgada)

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 14161-14162
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 14160-14160 Area Aquatica nao-salgada e' uma sub-classe de Area Aquatica

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14156-14156 Area Aquatica salgada e' disjunto de Area Aquatica nao-salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5674-5674 Creek e' uma sub-classe de Area Aquatica nao-salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5624-5624 Reservoir e' uma sub-classe de Area Aquatica nao-salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5473-5473 River e' uma sub-classe de Area Aquatica nao-salgada
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