TreeView Knowledge Base Browser - RadiatingSound

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RadiatingSound

RadiatingSound

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3333-3334
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13699-13701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 745-745
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13698-13698	子類 RadiatingSound and Radiating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23860-23860	子類吠 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13089-13089	子類拍手 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2630-2630	子類回音 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	子類 MakingMusic and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 764-764	子類音調 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 770-770	子類輻射聲超聲波 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Music.kif 1348-1348	子類鈴聲 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3051-3051	子類雷 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13737-13737	子類發聲 and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1224-1224
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1669-1669
No TPTP formula. May not be expressible in strict first order.	french_format.kif 902-902
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 435-435
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 438-438
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 854-854
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 474-474
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 923-923
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 439-439

appearance as argument number 3

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

Mid-level-ontology.kif 13727-13727

域 loudness, 1 and RadiatingSound

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13703-13710	例 Process and RadiatingSound agent Process and AutonomousAgent Attribute 例 Attribute and SoundAttribute attribute AutonomousAgent and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13646	例 Process and RadiatingSound agent Process and AutonomousAgent attribute Process and 聽得見 Object SymbolicString 例 Object and Human 能力卡帕 SymbolicString and 例 SymbolicString and Hearing agent SymbolicString and Object 目的地 SymbolicString and Object 起源 SymbolicString and AutonomousAgent, agent and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	例 Object and CarAlarm 例 Object and 自供電公路車輛部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object 等於何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	例 Object and FireAlarm attribute Object and 設備上位於 Object and Object Process 例 Process and RadiatingSound 儀器 Process and Object 有目的 Process and entity 例 entity and 一群人位於 entity and Object 知道 entity and entity 例 entity and 火 entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	例 Physical and AlarmClock 有目的 Physical and entity entity and entity 例 entity and Measuring agent entity and Physical 結果 entity and entity 等於 entity and entity 持有期間何時 entity and entity 例 entity and RadiatingSound agent entity and Physical
No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	例 Physical and AudioCDSystem 有目的 Physical and entity entity, entity, entity and entity 儀器 entity and Physical 患者 entity and entity 例 entity and CompactDisc 例 entity and 錄音代表 entity and entity 部分 entity and entity 例 entity and RadiatingSound 子過程 entity and entity 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14454-14469	例 Physical and MediaSystem 有目的 Physical and entity entity 例 entity and 視頻錄製例 entity and RadiatingLight 患者 entity and entity 儀器 entity and Physical entity entity 例 entity and 錄音例 entity and RadiatingSound 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	例內容承載物理 and 錄音 Proposition Process 包含信息內容承載物理 and Proposition 實現 Process and Proposition 例 Process and RadiatingSound
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2626-2628	例 Object and 聲納能力 RadiatingSound, agent and Object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 480-482	例 Object and SpeakerDevice 能力 RadiatingSound, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	例 Physical and VCRSystem 有目的 Physical and entity entity, entity, entity, entity, entity, entity and entity 例 entity and VHSCassette 儀器 entity and Physical 患者 entity and entity 例 entity and 視頻錄製代表 entity and entity 部分 entity and entity 例 entity and 錄音代表 entity and entity 部分 entity and entity 部分 entity and entity 例 entity and RadiatingLight 患者 entity and entity 子過程 entity and entity 例 entity and RadiatingSound 患者 entity and entity 子過程 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26238-26248	例 Physical and AudioRecorder 有目的 Physical and entity entity and entity 例 entity and RadiatingSound 例 entity and IntentionalProcess 儀器 entity and Physical 患者 entity and entity 結果 entity and entity 例 entity and 錄音
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	例 Object and 錄音 Entity 例 Entity and RadiatingSound 代表 Object and Entity 能力 RadiatingSound, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	例 EngineeringComponent and BabyMonitoringSystem EngineeringComponent EngineeringComponent 例 EngineeringComponent and 無線電接收器例 EngineeringComponent and Device 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and entity entity, entity, entity, entity, entity and entity 例 entity and 人類寶貝例 entity and Human 位於 entity and entity 位於 entity and entity 等於 entity and entity 例 entity and Maintaining 患者 entity and entity agent entity and entity 位於 EngineeringComponent and entity 位於 EngineeringComponent and entity 例 entity and RadiatingSound entity 是 located 在 entity 例 entity and 無線電發射患者 entity and entity 目的地 entity and EngineeringComponent agent entity and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	例 Physical and DVDSystem 有目的 Physical and entity entity 例 entity and DVD 儀器 entity and Physical 患者 entity and entity entity entity and entity 例 entity and 視頻錄製代表 entity and entity 部分 entity and entity 例 entity and RadiatingLight 子過程 entity and entity 儀器 entity and Physical 患者 entity and entity entity entity and entity 例 entity and 錄音代表 entity and entity 部分 entity and entity 例 entity and RadiatingSound 子過程 entity and entity 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	例 Physical and Earphone 有目的 Physical and entity entity, entity, entity and entity 例 entity and 電信號患者 entity and entity 目的地 entity and Physical 例 entity and Process 儀器 entity and Physical 患者 entity and entity 結果 entity and entity 例 entity and RadiatingSound 起源 entity and Physical 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity 例 entity and 耳方位 Physical, entity and 鄰
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	例 Physical and PublicAddressSystem 有目的 Physical and entity entity and entity 例 entity and LandArea 位於 Physical and entity 例 entity and 一群人位於 entity and entity 例 entity and RadiatingSound 儀器 entity and Physical entity 會員 entity and entity entity 例 entity and Hearing 患者 entity and entity agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26027-26034	例 Physical and SpeakerDevice 有目的 Physical and entity 例 entity and RadiatingSound 儀器 entity and Physical attribute entity and 聽得見

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