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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultipoleVariable

 Sigma KEE - MultipoleVariable
MultipoleVariable(multipole variable)

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 Multipole variable is a subclass of number

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 The number 2 argument of has across variable is an instance of multipole variable
No TPTP formula. May not be expressible in strict first order. engineering.kif 413-413 The number 2 argument of has through variable is an instance of multipole variable
No TPTP formula. May not be expressible in strict first order. engineering.kif 307-307 The number 2 argument of has variable is an instance of multipole variable


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