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 | 域子類 網路通信功能, 1 and 計算機網絡 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1519-1519 | 例 網路通信功能 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | 範圍子類 網路通信功能 and 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 |
|