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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vocalizing

 Sigma KEE - Vocalizing
Vocalizing(vocalizing)
aloud, assonate, babble, bawl, bellow, bellowing, call, cheer, chorus, cry, emit, exclaiming, exclamation, expostulation, give, grunt, gurgle, heave, holla, holler, hollering, hollo, holloa, hooray, howl, hurrah, let_loose, let_out, neigh, nicker, out_loud, phonation, pipe, pipe_up, raise, roar, roaring, scream, screaming, screech, screeching, shoot, shout, shout_out, shriek, shrieking, shrill, sigh, sprechgesang, sprechstimme...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13739-13741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3026-3026
No TPTP formula. May not be expressible in strict first order. Merge.kif 13738-13738 Vocalizing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13737-13737 Vocalizing is a subclass of radiating sound

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13037-13037 Laughing is a subclass of vocalizing
No TPTP formula. May not be expressible in strict first order. Merge.kif 13744-13744 Singing is a subclass of vocalizing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 827-827 Speaking is a subclass of vocalizing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61838-61838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61837-61837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61836-61836

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 795-802


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