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

Formal Language: 



KB Term:  Term intersection
English Word: 

  wavelength

Sigma KEE - wavelength
wavelength

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 575-576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 578-578 The number 1 argument of wavelength is an instance of radiating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 579-579 The number 2 argument of wavelength is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 580-580 wavelength is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 581-581 wavelength is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 577-577 wavelength is an instance of single valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4959-4959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4958-4958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4957-4957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62508-62508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62507-62507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62506-62506

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1538-1545

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1192-1202
No TPTP formula. May not be expressible in strict first order. Media.kif 1156-1166
No TPTP formula. May not be expressible in strict first order. Media.kif 1257-1267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 599-606


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