programCopy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 638-640 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 636-636 | O argumento numero 1 de programCopy e' uma instancia de ComputerFile |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | O argumento numero 2 de programCopy e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 634-634 | programCopy e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 635-635 | programCopy e' uma sub-relacao de containsInformation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4250-4250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4249-4249 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4248-4248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47644-47644 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47643-47643 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47642-47642 |
consequent |