TreeView 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 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	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 6989-6995	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 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15201-15207	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 2