TreeView Knowledge Base Browser - RadiatingElectromagnetic

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RadiatingElectromagnetic

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 13766-13768
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13765-13765	子類輻射電磁 and Radiating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2389-2389	子類 ElectricTransmission and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15777-15777	子類磁 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13692-13692	子類輻射紅外線 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13672-13672	子類 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 13696-13696	子類 X射線輻射 and 輻射電磁
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15781-15781	子類無線電發射 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 25935-25948	例 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 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