carrierFrequency |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1553-1553 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1552-1552 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1550-1551 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1554-1555 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1548-1548 | 载波频率 的 1 数量 是 辐射 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1549-1549 | 载波频率 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1547-1547 | 载波频率 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1559-1559 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1558-1558 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1557-1557 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1560-1560 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1564-1564 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1563-1563 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1562-1562 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1565-1565 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1570-1577 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1579-1588 |