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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Demonstrating

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

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 12833-12836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9985-9985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10837-10837
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 10839-10839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10841-10841
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10832-10832
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10835-10835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10833-10833
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10842-10842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10840-10840
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10834-10834
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10838-10838
No TPTP formula. May not be expressible in strict first order. Merge.kif 12832-12832 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 15320-15320 Lecture is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15296-15296 Performance is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7659-7659 Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18993-18993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18992-18992
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18991-18991

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12846-12846 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 12838-12841

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


No TPTP formula. May not be expressible in strict first order. Music.kif 406-417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6989-6995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15201-15207


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