appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 784-784 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 770-770 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 822-822 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 777-777 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6782-6782 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 800-800 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 762-762 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 821-821 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 753-753 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 783-783 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 754-754 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7605-7605 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 774-774 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7606-7606 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 780-780 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7607-7607 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7608-7608 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 819-819 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7609-7609 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 797-797 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 794-794 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 804-804 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 785-785 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 808-808 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4862-4862 | Opium poppy is a subclass of poppy |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46641-46641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46640-46640 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46639-46639 |