wavelength - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - wavelength

wavelength

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 586-587
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 589-589	域波長, 1 and Radiating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 590-590	域波長, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 591-591	例波長 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 592-592	例波長 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 588-588	例波長 and SingleValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4950-4950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4949-4949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4948-4948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62541-62541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62540-62540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62539-62539

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 1570-1577

例 Radiating and 輻射電磁 Radiating 載波的頻率是測量 RealNumber and 赫茲 Radiating 的 wavelength 是測量 RealNumber and 儀表
等於測量 RealNumber and 儀表 and 測量部 299792458 and RealNumber and 儀表

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1192-1202	例 Entity and BluRayDisc 例 Process and Decoding 患者 Process and Entity Object 例 Object and RadiatingLight 儀器 Process and Object Object 的 wavelength 是測量 405 and Nanometer
No TPTP formula. May not be expressible in strict first order.	Media.kif 1156-1166	例 Entity and CompactDisc 例 Process and Decoding 患者 Process and Entity Object 例 Object and RadiatingLight 儀器 Process and Object Object 的 wavelength 是測量 780 and Nanometer
No TPTP formula. May not be expressible in strict first order.	Media.kif 1257-1267	例 Entity and DVD 例 Process and Decoding 患者 Process and Entity Object 例 Object and RadiatingLight 儀器 Process and Object Object 的 wavelength 是測量 650 and Nanometer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 610-617	例 Radiating and X射線輻射 RealNumber Radiating 的 wavelength 是測量 RealNumber and Nanometer 大於或等於 RealNumber and 0.01 少於 10.0 and RealNumber

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