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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Demonstrating
Demonstrating(demonstrating)
more pictures...		bring_forth, counterdemonstration, demo, demonstrate, demonstrating, demonstration, display, exhibit, exhibition, light_show, post, present, presentation, presentment, produce, production, show, showing, summer_stock, 示範, 示范

VerbNet: transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate, transfer_mesg-37.1.1|demonstrate,


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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17390-17391
No TPTP formula. May not be expressible in strict first order. Merge.kif 17386-17389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9995-9995 "http://upload.wikimedia.org/wikipedia/commons/0/04/ Tractorprotest.JPG" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10848-10848 "http://upload.wikimedia.org/wikipedia/commons/3/34/ Math_lecture_at_TKK.JPG" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10854-10854 "http://upload.wikimedia.org/wikipedia/commons/3/3e/ The_offspring.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10850-10850 "http://upload.wikimedia.org/wikipedia/commons/5/5c/ School_children_in_Louvre.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10852-10852 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Atlhighmuseum.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10843-10843 "http://upload.wikimedia.org/wikipedia/commons/9/91/ S24_Mainstream_3.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10846-10846 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Foucault_pendulum_animated.gif" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10844-10844 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Workers_party_rally.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10853-10853 "http://upload.wikimedia.org/wikipedia/commons/c/cb/ Classical_spectacular10.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10851-10851 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ WinterPalaceAndAC.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10845-10845 "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Taiwan%27s_demonstrators1.JPG" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10849-10849 "http://upload.wikimedia.org/wikipedia/en/3/30/Coexfile04.jpg" is a URL depicting demonstrating
No TPTP formula. May not be expressible in strict first order. Merge.kif 17385-17385 Demonstrating is a subclass of disseminating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13528-13528 Lecture is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13504-13504 Performance is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7671-7671 Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18931-18931 "示范" is the printable form of demonstrating in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18930-18930 "示範" is the printable form of demonstrating in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18929-18929 "demonstrating" is the printable form of demonstrating in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17401-17401 The number 1 argument of attends is an instance of demonstrating

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17393-17396

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


No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6992-6997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13404-13410


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners