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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 抵抗力 and 物理屬性
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 相反的屬性 電導率 and 抵抗力
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 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