physicalAmplitude
|
|
Sigma KEE - physicalAmplitude
appearance as argument number 1
|
|
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 733-733 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65898-65898 |
|
|