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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StaticWaterArea

Sigma KEE - StaticWaterArea
StaticWaterArea(Area aquatica parada)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9039-9040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9038-9038 Area aquatica parada e' uma sub-classe de Area Aquatica

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9033-9033 Area aquatica em movimento e' disjunto de Area aquatica parada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4941-4941 WaterCurrent e' disjunto de Area aquatica parada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5727-5727 Lake e' uma sub-classe de Area aquatica parada
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 954-954
No TPTP formula. May not be expressible in strict first order. english_format.kif 1115-1115
No TPTP formula. May not be expressible in strict first order. french_format.kif 630-630
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order. terms-it.txt 164-164
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2315-2315
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 582-582
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 198-198
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 651-651
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 165-165

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5524-5531


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