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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dam

Sigma KEE - Dam
Dam(壩)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5614-5615
No TPTP formula. May not be expressible in strict first order. pictureList.kif 382-382
No TPTP formula. May not be expressible in strict first order. Geography.kif 5612-5612 子類 and StationaryArtifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3065-3065 子類 and 過境障礙

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18432-18432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18431-18431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18430-18430

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5617-5622


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