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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Silver
Silver

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28035-28035 atomicNumber Silver and 47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29262-29262 boilingPoint Silver and 2485.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28043-28045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1987-1987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2359-2359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29261-29261 meltingPoint Silver and 1235.08 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28033-28033 "Silver" se chama nome Silver
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31493-31493 roomTempState Silver and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28032-28032 Silver e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28034-28034 conventionalShortName "Ag" and Silver
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53102-53102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53101-53101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53100-53100

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28037-28041


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