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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Steradian
Steradian(steradian)sr, steradian

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2521-2523
No TPTP formula. May not be expressible in strict first order. Merge.kif 6824-6830
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1221-1224
No TPTP formula. May not be expressible in strict first order. Merge.kif 6822-6822 Steradian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6821-6821 Steradian is an instance of unit of angular measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55338-55338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55337-55337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55336-55336


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