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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - flowCurrent
flowCurrent

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5553-5557
No TPTP formula. May not be expressible in strict first order. Geography.kif 5558-5558 流动电流 的 1 数量 是 水运动instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5559-5559 流动电流 的 2 数量 是 水域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5552-5552 流动电流二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1065-1065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1064-1064
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1063-1063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24320-24320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24319-24319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24318-24318

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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