ShortageFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2890-2891 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2887-2887 | O argumento numero 1 de ShortageFn e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2886-2886 | ShortageFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2888-2888 | O contra-dominio de ShortageFn e' uma instancia de Entidade |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2279-2279 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2278-2278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2277-2277 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52797-52797 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52796-52796 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52795-52795 |