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 13717-13719
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 13716-13716 Vocalizing is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13715-13715 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 13038-13038 Laughing is a subclass of vocalizing
No TPTP formula. May not be expressible in strict first order. Merge.kif 13722-13722 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