![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
|
![]() |
![]() |