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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Resistivity

 Sigma KEE - Resistivity
Resistivity(resistivity)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 677-678
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6819-6819
No TPTP formula. May not be expressible in strict first order. engineering.kif 680-680 Resistivity is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 679-679

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 675-675 Conductivity is the opposite of resistivity
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49700-49700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49699-49699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49698-49698


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