Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingSound
RadiatingSound(Som Irradiante)

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 13723-13725
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 13722-13722 Som Irradiante e' uma sub-classe de Irradiar

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23918-23918 Barking e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13117-13117 Clapping e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2623-2623 Echoing e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Merge.kif 13742-13742 MakingMusic e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 757-757 MusicalTone e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 763-763 RadiatingSoundUltrasonic e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Music.kif 1348-1348 Ringing e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3044-3044 Thunder e' uma sub-classe de Som Irradiante
No TPTP formula. May not be expressible in strict first order. Merge.kif 13761-13761 Vocalizing e' uma sub-classe de Som Irradiante
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 13755-13755 O argumento numero 1 de loudness e' uma instancia de Som Irradiante

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13727-13734
No TPTP formula. May not be expressible in strict first order. Merge.kif 13656-13670

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3432-3461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25854-25871
No TPTP formula. May not be expressible in strict first order. Cars.kif 3695-3736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26490-26508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25587-25601
No TPTP formula. May not be expressible in strict first order. Media.kif 1209-1223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14482-14497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14341-14347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2619-2621
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 480-482
No TPTP formula. May not be expressible in strict first order. Media.kif 1387-1407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26283-26293
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14333-14339
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284
No TPTP formula. May not be expressible in strict first order. Media.kif 1275-1301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26086-26107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26137-26155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26072-26079


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