RadiatingElectromagnetic - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RadiatingElectromagnetic

RadiatingElectromagnetic(輻射電磁)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1415-1416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13744-13746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13743-13743	子類輻射電磁 and Radiating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2383-2383	子類 ElectricTransmission and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15778-15778	子類磁 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13670-13670	子類輻射紅外線 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13650-13650	子類 RadiatingLight and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 602-602	子類輻射紫外線 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13674-13674	子類 X射線輻射 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15782-15782	子類無線電發射 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48440-48440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48439-48439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48438-48438

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 儀表
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	例 Process and 通信透過藍芽網路例 Radiating and 輻射電磁子過程 Radiating and Process Radiating 載波的頻率是測量 RealNumber and 千兆赫茲比較多 RealNumber and 2.4 少於 RealNumber and 2.485

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 365-372	例 Object and Microwave attribute Object and 設備上 Process 例 Process and 輻射電磁儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25947-25960	例 EngineeringComponent and ElectricalPlug 例 EngineeringComponent and 電器例 HoleRegion and ElectricalOutlet 連接的工程組件 EngineeringComponent and EngineeringComponent 完全填滿 EngineeringComponent and HoleRegion 例 EngineeringComponent and 能量源連接的工程組件 EngineeringComponent and HoleRegion Process 例 Process and 輻射電磁起源 Process and EngineeringComponent 目的地 Process and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2566-2571	例 Object and 能量源 Process 例 Process and 輻射電磁起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2594-2596	例 Object and 雷達能力輻射電磁, agent and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1540-1545	例 Process and 通信透過 WirelessNetwork Process 例 Process and 輻射電磁子過程 Process and Process

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