TreeView Knowledge Base Browser

appearance as argument number 1

(documentation wavelength EnglishLanguage "(wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.")	Mid-level-ontology.kif 586-587
(domain wavelength 1 Radiating)	Mid-level-ontology.kif 589-589	O argumento numero 1 de wavelength e' uma instancia de Irradiar
(domain wavelength 2 LengthMeasure)	Mid-level-ontology.kif 590-590	O argumento numero 2 de wavelength e' uma instancia de Medida de Comprimento
(instance wavelength AsymmetricRelation)	Mid-level-ontology.kif 591-591	wavelength e' uma instancia de Relacao Assimetrica
(instance wavelength BinaryPredicate)	Mid-level-ontology.kif 592-592	wavelength e' uma instancia de Predicado Binario
(instance wavelength SingleValuedRelation)	Mid-level-ontology.kif 588-588	wavelength e' uma instancia de Relacao com Valor Unico

appearance as argument number 2

(format ChineseLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4950-4950
(format ChineseTraditionalLanguage wavelength "%1 的 wavelength 是 %2 ")	domainEnglishFormat.kif 4949-4949
(format EnglishLanguage wavelength "the wavelength of %1 is %2")	domainEnglishFormat.kif 4948-4948
(termFormat ChineseLanguage wavelength "波长")	domainEnglishFormat.kif 62541-62541
(termFormat ChineseTraditionalLanguage wavelength "波長")	domainEnglishFormat.kif 62540-62540
(termFormat EnglishLanguage wavelength "wavelength")	domainEnglishFormat.kif 62539-62539

antecedent

(=>
    (and
        (instance ?R RadiatingElectromagnetic)
        (carrierFrequency ?R
            (MeasureFn ?HZ Hertz))
        (wavelength ?R
            (MeasureFn ?L Meter)))
    (equal
        (MeasureFn ?L Meter)
        (MeasureFn
            (DivisionFn 299792458 ?HZ) Meter)))

ComputingBrands.kif 1570-1577

Irradiar e' uma instancia de RadiatingElectromagnetic carrierFrequency Irradiar and Numero Real Hertz(s) wavelength Irradiar and Numero Real Meter(s)
Numero Real Meter(s) e' igual a 299792458 + Numero Real Meter(s)

consequent

(=> (and (instance ?X BluRayDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 405 Nanometer)))))	Media.kif 1192-1202	Entidade e' uma instancia de BluRayDisc Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 405 Nanometer(s)
(=> (and (instance ?X CompactDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 780 Nanometer)))))	Media.kif 1156-1166	Entidade e' uma instancia de CompactDisc Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 780 Nanometer(s)
(=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer)))))	Media.kif 1257-1267	Entidade e' uma instancia de DVD Processo e' uma instancia de Decodificar Entidade e' um patient de Processo Objeto Objeto e' uma instancia de Luz Irradiante Objeto e' um instrumento para Processo wavelength Objeto and 650 Nanometer(s)
(=> (instance ?X RadiatingXRay) (exists (?M) (and (wavelength ?X (MeasureFn ?M Nanometer)) (greaterThanOrEqualTo ?M 0.01) (lessThan 10.0 ?M))))	Mid-level-ontology.kif 610-617	Irradiar e' uma instancia de RadiatingXRay Numero Real wavelength Irradiar and Numero Real Nanometer(s) Numero Real e' maior ou igual a 0.01 10.0 e' menos que Numero Real

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: