NetworkCommunicationFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1526-1526 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1525-1525 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1523-1524 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1527-1528 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1521-1521 | O argumento numero 1 de NetworkCommunicationFn e' uma sub-classe de ComputerNetwork |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1519-1519 | NetworkCommunicationFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | Os valores retornados por NetworkCommunicationFn sao as sub-classes de NetworkCommunication |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1532-1532 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1531-1531 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1530-1530 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1533-1533 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1537-1537 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1536-1536 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1535-1535 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1538-1538 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1579-1588 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1860-1870 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1902-1907 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1540-1545 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1820-1827 |
|