Demonstrating - Sigma Knowledge base Browser

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 13227-13230
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9976-9976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10825-10825
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10831-10831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10827-10827
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10829-10829
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10820-10820
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10823-10823
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10821-10821
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10830-10830
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10828-10828
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10822-10822
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10826-10826
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13226-13226	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 17258-17258	Lecture is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17234-17234	Performance is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9153-9153	Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19011-19011	Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19010-19010	Religious service is a subclass of demonstrating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19009-19009	Religious service is a subclass of demonstrating

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13240-13240

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 13232-13235

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 410-421	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8486-8492	If a physical is an instance of auditorium, then the physical has the purpose there exists an entity such that the entity is an instance of demonstrating and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17125-17131	If a physical is an instance of performance stage, then the physical has the purpose there exists an entity such that the entity is an instance of demonstrating and the entity is located at the physical