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 and Radiating |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1549-1549 | 域 載波頻率, 2 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1547-1547 | 例 載波頻率 and BinaryPredicate |
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 |