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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultipoleVariable

 Sigma KEE - MultipoleVariable
MultipoleVariable(多极变量)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 287-288
No TPTP formula. May not be expressible in strict first order. engineering.kif 289-289 多极变量 是 数字 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39255-39255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39254-39254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39253-39253

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 406-406 跨变量 的 2 数量 是 多极变量 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 413-413 有通过变量 的 2 数量 是 多极变量 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 307-307 有变数 的 2 数量 是 多极变量 的 instance


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