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, 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. chinese_format.kif 3245-3246
No TPTP formula. May not be expressible in strict first order. Merge.kif 12106-12109
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9995-9995
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10848-10848
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10854-10854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10850-10850
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10852-10852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10843-10843
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10846-10846
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10844-10844
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10853-10853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10851-10851
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10845-10845
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10849-10849
No TPTP formula. May not be expressible in strict first order. Merge.kif 12105-12105 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 13579-13579 Lecture is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13555-13555 Performance is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7678-7678 Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18925-18925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18924-18924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18923-18923

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12119-12119 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 12111-12114

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


No TPTP formula. May not be expressible in strict first order. Music.kif 405-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6998-7003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13455-13461


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